A first course in mathematical logic and set theory

Hoboken, New Jersey: Wiley (2016)
  Copy   BIBTEX

Abstract

Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.

Categories

Keywords

Reprint years

Call number

QA9.O44 2016

ISBN(s)

9780470905883   0470905883
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Sets, Logic and Categories.Peter J. Cameron - 1999 - Springer Verlag.
An Introduction to Mathematical Logic.Richard E. Hodel - 2013 - Courier Corporation.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
Logic in elementary mathematics.Robert M. Exner - 1959 - New York,: McGraw-Hill. Edited by Myron Frederick Rosskopf.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Models, Algebras, and Proofs.Xavier Caicedo & Carlos Montenegro - 1998 - CRC Press.
Essays in the philosophy and history of logic and mathematics.Roman Murawski - 2010 - New York, NY: Rodopi. Edited by Thomas Bedürftig, Izabela Bondecka-Krzykowska & Jan Woleński.
Mathematical epistemology and psychology.Evert Willem Beth - 1966 - New York,: Gordon & Breach. Edited by Jean Piaget.
Logic for Mathematics and Computer Science.Stanley Burris - 1998 - Upper Saddle River, N.J. : Prentice Hall.
Basic discrete mathematics: logic, set theory, & probability.Richard Kohar - 2016 - New Jersey: World Scientific.
[Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Axiomatic Theory of Sets and Classes.Murray Eisenberg - 1971

Analytics

Added to PP
2022-12-13

Downloads
10 (#1,198,690)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references