QA9 .H66 2011eb : Internet
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / Burt C. Hopkins.
Hopkins, Burt C.,
2011
QA9 .I46 2011eb : Internet
Infinity : New Research Frontiers.
Heller, Michael.
2011
QA9 .I5 1957
Constructivity in mathematics; proceedings. Edited by A. Heyting.
International Colloquium "Constructivity in Mathematics"
1959
Constructivity in mathematics; proceedings. Edited by A. Heyting.
International Colloquium "Constructivity in Mathematics"
1959
QA9 .I53 1965
Problems in the philosophy of mathematics. Edited by Imre Lakatos.
International Colloquium in the Philosophy of Science
1967
Problems in the philosophy of mathematics. Edited by Imre Lakatos.
International Colloquium in the Philosophy of Science
1967
QA9 .I55
Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg.
International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability
1969
Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg.
International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability
1969
QA9 .J45
Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary.
Universiṭah ha-ʻIvrit bi-Yerushalayim.
c1962
Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary.
Universiṭah ha-ʻIvrit bi-Yerushalayim.
c1962
QA9 .K225 2004eb : Internet
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laa
Kamareddine, Fairouz D.
2004
QA9 .K313
The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinn
Kaufmann, Felix,
c1978
The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinn
Kaufmann, Felix,
c1978
QA9 .K38
The anatomy of mathematics, by R. B. Kershner [and] L. R. Wilcox.
Kershner, R. B.
1950
The anatomy of mathematics, by R. B. Kershner [and] L. R. Wilcox.
Kershner, R. B.
1950
QA9 .K38 2013eb : Internet
Distilling ideas : an introduction to mathematical thinking / Brian P. Katz, Michael Starbird.
Katz, Brian P.,
2013
QA9 .K4
Mathematical philosophy, a study of fate and freedom; lectures for educated laymen, by Cassius J. Key
Keyser, Cassius Jackson,
c1922
Mathematical philosophy, a study of fate and freedom; lectures for educated laymen, by Cassius J. Key
Keyser, Cassius Jackson,
c1922
QA9 .K58
Introduction to metamathematics.
Kleene, Stephen Cole,
1952
Introduction to metamathematics.
Kleene, Stephen Cole,
1952
QA9 .K65 1971
Introduction to metamathematics.
Kleene, Stephen Cole,
1971
Introduction to metamathematics.
Kleene, Stephen Cole,
1971
QA9 .K652
Mathematical logic.
Kleene, Stephen Cole,
1967
Mathematical logic.
Kleene, Stephen Cole,
1967
QA9 .K677 1960
The philosophy of mathematics : an introductory essay / Stephan Körner.
Körner, Stephan,
1960
The philosophy of mathematics : an introductory essay / Stephan Körner.
Körner, Stephan,
1960
QA9 .K678
Logic and algorithms, with applications to the computer and information sciences [by] Robert R. Korfh
Korfhage, Robert R.
1966
Logic and algorithms, with applications to the computer and information sciences [by] Robert R. Korfh
Korfhage, Robert R.
1966
QA9 .L32 2007eb : Internet
The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
Kaye, Richard
2007
QA9 .L37256 2018eb : Internet
A first course in logic / Mark V. Lawson, Heriot-Watt University, Edinburgh.
Lawson, Mark V.,
2019
QA9 .L377
Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring.
Leisenring, A. C.
c1969
Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring.
Leisenring, A. C.
c1969
QA9 .L54
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton.
Lightstone, A. H.
c1978
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton.
Lightstone, A. H.
c1978
QA9 .L6194 2017eb : Internet
Absolute continuity under time shift of trajectories and related stochastic calculus / Jörg-Uwe Löbus
Löbus, Jörg-Uwe,
2017
QA9 .L62
Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.
1968
Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.
1968
QA9 .L624 1996
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge
1996
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge
1996
QA9 .L624 1996eb : Internet
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge
1996
QA9 .L63 1963
Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Logic Colloquium
1965
Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Logic Colloquium
1965
QA9 .L64 1966
Contributions to mathematical logic. Proceedings of the Logic Colloquim, Hannover, 1966. Edited by H.
Logic Colloquium
1968
Contributions to mathematical logic. Proceedings of the Logic Colloquim, Hannover, 1966. Edited by H.
Logic Colloquium
1968
QA9 .L64513 1971
The Calculi of symbolic logic. 1 / edited by V. P. Orevkov ; [translated from the Russian by A. Yablo
1971
The Calculi of symbolic logic. 1 / edited by V. P. Orevkov ; [translated from the Russian by A. Yablo
1971
QA9 .L645313 1974
Logical and logico-mathematical calculi. 2 / edited by V. P. Orevkov.
1974
Logical and logico-mathematical calculi. 2 / edited by V. P. Orevkov.
1974
QA9.M265
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz.
Malitz, Jerome,
c1979
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz.
Malitz, Jerome,
c1979
QA9 .M295 2010eb : Internet
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-19
Mancosu, Paolo.
2010
QA9 .M296 2010
A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from th
Manin, ︠I︡U. I.
c2010
A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from th
Manin, ︠I︡U. I.
c2010
QA9 .M29613
A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz.
Manin, ︠I︡U. I.
c1977
A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz.
Manin, ︠I︡U. I.
c1977
A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz.
Manin, ︠I︡U. I.
c1977
QA9 .M316 1987
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Maor, Eli.
c1987
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Maor, Eli.
c1987
QA9 .M316 1991
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Maor, Eli.
1991
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Maor, Eli.
1991
QA9 .M31913 1982
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz.
Marek, Wiktor.
c1982
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz.
Marek, Wiktor.
c1982
QA9 .M32
First order mathematical logic.
Margaris, Angelo.
1967
First order mathematical logic.
Margaris, Angelo.
1967
QA9 .M34
Notes on constructive mathematics.
Martin-Löf, Per,
1970
Notes on constructive mathematics.
Martin-Löf, Per,
1970
QA9 .M34413 1987
Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and
Maslov, S. ︠I︡U.
c1987
Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and
Maslov, S. ︠I︡U.
c1987
QA9 .M347 1997 : Internet
Mathematical reasoning : analogies, metaphors, and images / edited by Lyn D. English.
1997
QA9 .M355 1993eb : Internet
Duality and definability in first order logic / Michael Makkai.
Makkai, Mihály,
1993
QA9 .M38 2007eb : Internet
Mathematical problems from applied logic II : logics for the XXIst century / edited by Dov M. Gabbay,
2006
QA9 .M384463
Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.
1977
Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.
1977
Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.
1977
QA9 .M39
The philosophy of mathematics.
Maziarz, Edward A.
1950
The philosophy of mathematics.
Maziarz, Edward A.
1950
QA9 .M4
Introduction to mathematical logic.
Mendelson, Elliott.
1964
Introduction to mathematical logic.
Mendelson, Elliott.
1964
QA9 .M4513
Evolution of mathematical thought.
Meschkowski, Herbert.
1965
Evolution of mathematical thought.
Meschkowski, Herbert.
1965
Save Marked Records
Save All On Page