1
by Kaye, Richard
Published 2007
Cambridge University Press
Table of Contents: ... algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness...

2
by Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

3
by Avigad, Jeremy
Published 2023
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

4
by Schmidt, H. Arnold
Published 1968
North-Holland
Subjects: ...Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068...

5
by Weber, Zach
Published 2022
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

6
by Kreisel, Georg, Krivine, J. L.
Published 1967
North Holland Pub. Co.
Subjects: ...Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...

7
by Takeuti, Gaisi
Published 2015
Princeton University Press
Subjects: ...Logic, Symbolic and mathematical...

8
by Turing, Alan
Published 2001
Elsevier Science
Table of Contents: ... -- Part I: Computability and Ordinal Logics -- Chapter 1. Historical Introduction (Solomon Feferman...

9
by Barwise, Jon
Published 1977
North-Holland Pub. Co.
Table of Contents: ... and constructive mathematics...

10
by Mortensen, C.E.
Published 1995
Springer Netherlands
Subjects: ...Mathematical logic...

11
by Gonczarowski, Yannai A., Nisan, Noam
Published 2022
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

12
by Farlow, Stanley J.
Published 2020
Wiley
Table of Contents: ...Logic and proofs -- Sets and counting -- Relations -- The real and complex number systems...

13
by Weber, Zach
Published 2021
Cambridge University Press
Table of Contents: ... mathematics -- Set theory -- Arithmetic -- Algebra -- Real analysis -- Topology -- Ordinary paradox...

14
by Arruda, A. I.
Published 1980
North-Holland Pub. Co.
Table of Contents: ...Front Cover; Mathematical Logic in Latin America; Copyright Page; CONTENTS; Preface; Program...

15
by Wang, Hao
Published 1963
Elsevier Science
Table of Contents: ... : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving...

16
by Church, Alonzo
Published 2016
Princeton University Press
Subjects: ...Logic, Symbolic and mathematical...

17
by Burgess, John P.
Published 2008
Cambridge University Press
Table of Contents: ..., and philosophy of mathematics -- Being explained away -- E pluribus unum : plural logic and set theory...

18
by Shapiro, Stewart
Published 2007
Oxford University Press
Subjects: ...Logic, Symbolic and mathematical / Philosophy...

19
by Tourlakis, George J.
Published 2003
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

20
by Chihara, Charles S.
Published 1990
Clarendon
Subjects: ...Logic, Symbolic and mathematical...