Suggested Subjects within your search.
1
Constructibility and mathematical existence
by Chihara, Charles S., 1932-
Published 1990
Subjects: “...Constructive mathematics....”
Access E-Book
Electronic eBook
Save to List
Saved in:
2
Discovering patterns in mathematics and poetry
by Birken, Marcia.
Published 2008
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
3
In the light of logic
by Feferman, Solomon.
Published 1998
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
4
The foundations of mathematics /
Subjects: “...Mathematics....”
Access E-Book
eBook
Save to List
Saved in:
5
Mathematical logic
by Quine, W. V.
Published 1981
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
6
Foundations without foundationalism a case for second-order logic.
by Shapiro, Stewart, 1951-
Published 2000
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
7
How to prove it : a structured approach /
by Velleman, Daniel J.
Published 1994
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
8
What is a number? : mathematical concepts and their origins /
by Tubbs, Robert, 1954-
Published 2009
Subjects: “...Mathematics -- Philosophy....”
Book
Save to List
Saved in:
9
Essays in the philosophy and history of logic and mathematics
by Murawski, Roman.
Published 2010
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
Electronic eBook
Save to List
Saved in:
10
Proof and knowledge in mathematics
Published 1992
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
Electronic eBook
Save to List
Saved in:
11
Translations from the philosophical writings of Gottlob Frege.
by Frege, Gottlob, 1848-1925
Published 1966
Subjects: “...Mathematics -- Philosophy...”
Book
Save to List
Saved in:
12
The development of mathematical logic.
by Nidditch, P. H.
Published 1962
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
eBook
Save to List
Saved in:
13
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by Hopkins, Burt C.
Published 2011
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
14
Formalism and beyond : on the nature of mathematical discourse /
Published 2014
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
eBook
Save to List
Saved in:
15
Philosophy of mathematics in the twentieth century : selected essays /
by Parsons, Charles, 1933-
Published 2014
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
eBook
Save to List
Saved in:
16
Logicism and its philosophical legacy
by Demopoulos, William.
Published 2013
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
17
The development of mathematical logic
by Nidditch, P. H
Published 1962
Subjects: “...Mathematics -- Philosophy...”
Book
Save to List
Saved in:
18
Concepts of proof in mathematics, philosophy, and computer science /
Published 2016
Subjects: “...Mathematics....”
Access E-Book
eBook
Save to List
Saved in:
19
Folk algebras in algebra logic and computer science /
by Frias, Marcelo Fabián, 1968-
Published 2002
Subjects: “...Computer science -- Mathematics....”
Access E-Book
Electronic eBook
Save to List
Saved in:
20
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published 2006
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
21
The Oxford handbook of philosophy of mathematics and logic
Published 2005
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
Electronic eBook
Save to List
Saved in:
22
A first course in mathematical logic and set theory /
by O'Leary, Michael L.
Published 2016
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
23
The Oxford handbook of philosophy of mathematics and logic /
Published 2005
Subjects: “...Mathematics -- Philosophy....”
Book
Save to List
Saved in:
24
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Published 2011
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
25
Distilling ideas an introduction to mathematical thinking /
by Katz, Brian P.
Published 2013
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
26
The Big Typescript, TS. 213 /
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
27
New essays on Tarski and philosophy
Published 2008
Subjects: “...Mathematics -- Philosophy....”
Access E-Book
Electronic eBook
Save to List
Saved in:
28
Logic and discrete mathematics : a concise introduction /
Subjects: “...Logic, Symbolic and mathematical -- Textbooks....”
Access E-Book
eBook
Save to List
Saved in:
30
Handbook of mathematical induction : theory and applications /
by Gunderson, David S.
Published 2010
Subjects: “...Induction (Mathematics)...”
Access E-Book
eBook
Save to List
Saved in:
31
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by Goldblatt, Robert.
Published 2011
Subjects: “...Variables (Mathematics)...”
Access E-Book
Electronic eBook
Save to List
Saved in:
32
Logic and automata history and perspectives /
Published 2008
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
33
Commonsense reasoning
by Mueller, Erik T.
Published 2006
Subjects: “...Artificial intelligence -- Mathematics....”
Access E-Book
Electronic eBook
Save to List
Saved in:
35
Logic without borders /
Published 2015
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
36
Is God a mathematician? /
by Livio, Mario, 1945-
Published 2009
Subjects: “...Mathematics -- Philosophy....”
Book
Save to List
Saved in:
37
Autonomy Platonism and the indispensability argument /
by Marcus, Russell, 1966-
Published 2015
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
38
Infinity and truth /
Published 2014
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Conference Proceeding eBook
Save to List
Saved in:
39
Symbolic computation and education
Published 2007
Subjects: “...Mathematics -- Computer-assisted instruction -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
40
An introduction to non-classical logic from if to is /
by Priest, Graham.
Published 2008
Subjects: “...Nonclassical mathematical logic....”
Access E-Book
Electronic eBook
Save to List
Saved in:
41
Deducibility and decidability
by Gill, R. R. Rockingham, 1944-
Published 1990
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
42
Mathematical reasoning patterns, problems, conjectures, and proofs /
by Nickerson, Raymond S.
Published 2010
Subjects: “...Mathematical analysis....”
Access E-Book
Electronic eBook
Save to List
Saved in:
43
Mathematical logic in the 20th century
Published 2003
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
44
Logical dynamics of information and interaction
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
45
Logic with trees an introduction to symbolic logic /
by Howson, Colin.
Published 1997
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
46
Mathematical logic
by Chiswell, Ian, 1948-
Published 2007
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
47
Mathematical logic /
by Quine, W. V.
Published 1961
Subjects: “...Logic, Symbolic and mathematical...”
Book
Save to List
Saved in:
48
Studies in logic
Published 1983
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
49
Sets, functions, measures.
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
50
Introduction to mathematical logic
by Church, Alonzo, 1903-
Published 1956
Subjects: “...Logic, Symbolic and mathematical...”
Book
Save to List
Saved in:
51
Logical forms : an introduction to philosophical logic /
by Sainsbury, R. M.
Published 1991
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
52
Essentials of symbolic logic /
by Simpson, R. L., 1934-
Published 1999
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
53
Collected works /
by Gödel, Kurt
Published 1986
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
54
Logic, sets, and recursion /
by Causey, Robert L.
Published 1994
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
55
An introduction to symbolic logic /
by Langer, Susanne K. 1895-1985.
Published 1953
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
56
Introduction to elementary mathematical logic /
by Stoli︠a︡r, A. A.
Published 1970
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
58
Alan Turing his work and impact /
Published 2013
Subjects: “...Computer science -- Mathematics....”
Access E-Book
Electronic eBook
Save to List
Saved in:
59
Diamond a paradox logic /
by Hellerstein, N. S.
Published 2010
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
60
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Published 2012
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
61
The mathematics of logic a guide to completeness theorems and their applications /
by Kaye, Richard
Published 2007
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
62
Intermediate logic
by Bostock, David.
Published 1997
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
63
Formal logic : a philosophical approach /
by Hoyningen-Huene, Paul, 1946-
Published 2004
Subjects: “...Logic, Symbolic and mathematical -- Textbooks....”
Access E-Book
eBook
Save to List
Saved in:
64
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published 2010
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
65
Principles of truth /
Published 2003
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
66
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Published 2013
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
67
Logic and knowledge : essays, 1901-1950 /
by Russell, Bertrand, 1872-1970.
Published 1956
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
68
Paradox and paraconsistency conflict resolution in the abstract sciences /
by Woods, John.
Published 2003
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
69
Principles of truth /
by Halbach, Volker.
Published 2004
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
70
The logical problem of induction
by Wright, G. H. von 1916-
Published 1957
Subjects: “...Logic, Symbolic and mathematical...”
Book
Save to List
Saved in:
71
Qualitative spatial and temporal reasoning
by Ligozat, Gérard.
Published 2012
Subjects: “...Space and time -- Mathematical models....”
Access E-Book
Electronic eBook
Save to List
Saved in:
72
Set theory
by Tourlakis, George J.
Published 2003
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
73
Mathematical logic
by Tourlakis, George J.
Published 2003
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
74
Proof, logic, and formalization
Published 1992
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
75
Something to reckon with the logic of terms /
by Englebretsen, George.
Published 1996
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
76
The irrationals a story of the numbers you can't count on /
by Havil, Julian, 1952-
Published 2012
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
77
Classical mathematical logic the semantic foundations of logic /
by Epstein, Richard L.
Published 2011
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
78
The equations icons of knowledge /
by Bais, Sander.
Published 2005
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
79
A tour through mathematical logic
by Wolf, Robert S.
Published 2005
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
80
Symbolic logic syntax, semantics, and proof /
by Agler, David W., 1982-
Published 2013
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
81
Beyond sets a venture in collection-theoretic revisionism /
by Rescher, Nicholas.
Published 2011
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
82
Effective mathematics of the uncountable /
Published 2013
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
83
Two applications of logic to mathematics /
by Takeuti, Gaisi, 1926-
Published 1978
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
84
Institution-independent model theory
by Diaconescu, Răzvan.
Published 2008
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
85
Introduction to logic and sets
by Christian, Robert R
Published 1965
Subjects: “...Logic, Symbolic and mathematical...”
Book
Save to List
Saved in:
86
The logical syntax of language /
by Carnap, Rudolf, 1891-1970
Published 1959
Subjects: “...Logic, Symbolic and mathematical...”
Book
Save to List
Saved in:
87
The concept of logical consequence /
by Etchemendy, John, 1952-
Published 1990
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
88
Meaning and necessity : a study in semantics and modal logic /
by Carnap, Rudolf, 1891-1970.
Published 1956
Subjects: “...Logic, Symbolic and mathematical....”
Book
Save to List
Saved in:
89
Andrzej Mostowski and foundational studies
Published 2008
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
90
The determinacy of long games
by Neeman, Itay, 1972-
Published 2004
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
91
Roads to infinity : the mathematics of truth and proof /
by Stillwell, John
Published 2010
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
eBook
Save to List
Saved in:
92
Set theory and its logic
by Quine, W. V.
Published 1969
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
95
Frege's logic
by Macbeth, Danielle.
Published 2005
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
96
Uncertain inference
by Kyburg, Henry Ely, 1928-
Published 2001
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
97
Perspectives in logic logical foundations of proof complexity /
by Cook, Stephen, 1948-
Published 2010
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in:
98
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published 1998
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic eBook
Save to List
Saved in:
99
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Published 2011
Subjects: “...Logic, Symbolic and mathematical -- Congresses....”
Access E-Book
Electronic Conference Proceeding eBook
Save to List
Saved in:
100
{Mere possibilities} metaphysical foundations of modal semantics /
by Stalnaker, Robert.
Published 2012
Subjects: “...Logic, Symbolic and mathematical....”
Access E-Book
Electronic eBook
Save to List
Saved in: