Welcome to the Kids' Library!

100% mathematical proof

Garnier, Rowan.
Chichester ; New York : Wiley, c1996. 1996

Admissibility of logical inference rules

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Amsterdam ; New York : Elsevier, 1997. 1997

Alan Turing his work and impact

Amsterdam ; Boston : Elsevier, 2013. 2013

Alan Turing : his work and impact

Amsterdam ; Boston : Elsevier, 2013. 2013

Andrzej Mostowski and foundational studies

Amsterdam ; Washington, D.C. : Ios Press, c2008. 2008

Autonomy Platonism and the indispensability argument

Marcus, Russell, 1966- author.
Lanham, Maryland : Lexington Books, 2015. 2015

Beyond sets a venture in collection-theoretic revisionism

Rescher, Nicholas.
Frankfurt : Ontos Verlag, 2011. 2011

The birth of model theory Lowenheim's theorem in the frame of the theory of relatives

Badesa, Calixto.
Princeton, N.J. ; Oxford : Princeton University Press, c2004. 2004

Concepts of proof in mathematics, philosophy, and computer science

Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016. 2016

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms o

Godel, Kurt.
Princeton, Princeton University Press; London, H. Milford, Oxford university press, 1940. 1940

Constructibility and mathematical existence

Chihara, Charles S., 1932-
Oxford : Clarendon Press ; New York : Oxford University Press, 1990. 1990

The continuum companion to philosophical logic

London ; New York, New York : Continuum, 2011. 2011

Deducibility and decidability

Gill, R. R. Rockingham, 1944-
London ; New York : Routledge, 1990. 1990

The determinacy of long games

Neeman, Itay, 1972-
Berlin ; New York : Walter de Gruyter, c2004. 2004

Diamond a paradox logic

Hellerstein, N. S. (Nathaniel S.)
Singapore ; Hackensack, NJ : World Scientific, c2010. 2010

Discovering patterns in mathematics and poetry

Birken, Marcia.
Amsterdam ; New York : Rodopi, 2008. 2008

Distilling ideas an introduction to mathematical thinking

Katz, Brian P., 1970-
Washington, DC : Mathematical Association of America, 2013. 2013

Door wetenschap tot wijsheid verzameling wijsgerige studien

Beth, Evert W.
Assen : Gorcum-Prakke&Prakke ; Amsterdam : Amsterdam Academic Archive, 1964. 1964

Effective mathematics of the uncountable

Cambridge, United Kingdom : Cambridge University Press, 2013. 2013

Elementary logic

Quine, W. V. (Willard Van Orman)
New York : Harper & Row, 1965. 1965

Elements of set theory

Zehna, Peter W.
Boston, Allyn and Bacon [1972] 1972

The equations icons of knowledge

Bais, Sander.
Cambridge, Mass. : Harvard University Press, c2005. 2005

Essays in the philosophy and history of logic and mathematics

Murawski, Roman.
Amsterdam : Rodopi, 2010. 2010

Essays on Frege's conception of truth

Amsterdam ; New York : Rodopi, 2007. 2007

Essays on Wittgenstein's Tractatus.

Copi, Irving M.
New York, Macmillan [c1966] 1966

Essays on Wittgenstein's Tractatus

Oxfordshire, England : Routledge, 2007. 2007

An examination of a decision procedure

Oglesby, Francis C., author.
Providence : American Mathematical Society, 1962. 1962

First course in mathematical logic

Suppes, Patrick, 1922-2014.
New York, Blaisdell Pub. Co. [1964] 1964

A first course in mathematical logic and set theory

O'Leary, Michael L., author.
Hoboken, New Jersey : Wiley, 2016. 2016

First-order logic and automated theorem proving

Fitting, Melvin, 1942- author.
New York : Springer, [1996] 1996

Folk algebras in algebra logic and computer science

Frias, Marcelo Fabian, 1968-
River Edge, NJ : World Scientific, 2002. 2002

Formalism and beyond : on the nature of mathematical discourse

Boston : De Gruyter, [2014] 2014

The foundations of mathematics

Stewart, Ian, 1945- author.
New York, New York : Oxford University Press, 2015. 2015

The foundations of mathematics and other logical essays.

Ramsey, Frank Plumpton, 1903-1930.
Patterson, N. J., Littlefield, Adams, 1960. 1960

Foundations without foundationalism a case for second-order logic.

Shapiro, Stewart, 1951-
Oxford : Clarendon Press ; New York : Oxford University Press, 2000. 2000

Frege and other philosophers

Dummett, Michael, 1925-2011.
Oxford : Clarendon Press ; New York : Oxford University Press, 1991. 1991

Frege : philosophy of mathematics

Dummett, Michael, 1925-2011.
Cambridge, Mass. : Harvard University Press, 1995. 1995

Frege's logic

Macbeth, Danielle.
Cambridge, MA : Harvard University Press, 2005. 2005

Math and logic games

Agostini, Franco.
New York, N.Y. : Facts on File Publications, c1983. 1983

Handbook of logic and language

Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1997. 1997

Handbook of mathematical induction : theory and applications

Gunderson, David S., author.
Boca Raton ; London ; NewYork : CRC Press, Taylor & Francis Group, [2010] 2010

Handbook of mathematical logic

Amsterdam ; New York : North-Holland Pub. Co., 1977. 1977

Handbook of the logic of argument and inference : the turn towards the practical

Amsterdam ; Boston : North Holland/Elsevier, 2002. 2002

Hands-on Julia programming : an authoritative guide to the production-ready systems in Julia

Dash, Sambit Kumar, author.
Delhi, India : BPB Publications, [2022] 2022

How to read and do proofs : an introduction to mathematical thought processes

Solow, Daniel.
New York : Wiley, c2002. 2002

In the light of logic

Feferman, Solomon.
New York : Oxford University Press, c1998. 1998

Infinity and the mind : the science and philosophy of the infinite

Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Boston : Birkhauser, 1982. 1982

Institution-independent model theory

Diaconescu, Razvan.
Basel ; Boston : Birkhauser, c2008. 2008

Intermediate logic

Bostock, David.
Oxford : Clarendon Press ; New York : Oxford University Press, 1997. 1997

An introduction to Hilbert space and quantum logic

Cohen, David W.
New York : Springer-Verlag, c1989. 1989