1
Published 1990
Springer US
Table of Contents: ... -- Constructive Mathematics and Computer-Assisted Reasoning Systems -- Markov’s Constructive Mathematical Analysis...

2
by Lovász, László, Pelikán, József, Vesztergombi, Katalin
Published 2003
Springer New York
Subjects: ...Discrete Mathematics...

3
by Lightstone, A.
Published 1978
Springer US
Subjects: ...Mathematical logic...

4
by Monk, J.D.
Published 1976
Springer New York
Table of Contents: ... mathematics -- 21. Complete theories -- 22. The interpolation theorem -- 23. Generalized products -- 24...

5
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
Subjects: ...Mathematics / Study and teaching ...

6
by Kuyk, W.
Published 1977
Springer Netherlands
Table of Contents: ...I. Semantical and Syntactical Aspects of Elementary Mathematical Theories -- I.1. Introduction...

7
by Mortensen, C.E.
Published 1995
Springer Netherlands
Subjects: ...Computer science / Mathematics...

8
by Meerschaert, Mark M.
Published 2013
Academic Press/Elsevier
Subjects: ...Mathematical models / fast / (OCoLC)fst01012085...

9
Published 1969
Springer Berlin Heidelberg
Table of Contents: ...Realism as a Philosophy of Mathematics -- The Undecidability of ?K-Conversion -- The Definability...

10
Published 1981
Springer Berlin Heidelberg
Table of Contents: ...Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics...

11
by Faticoni, Theodore G.
Published 2012
John Wiley & Sons
Table of Contents: .... Well-ordered sets -- 7. Inductions and numbers -- 8. Prime numbers -- 9. Logic and meta-mathematics...

12
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Subjects: ...Mathematics of Computing...

13
by Engeler, Erwin
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...I. The Continuum -- §1 What Are the Real Numbers? -- §2 Language as Part of Mathematics -- §3...

14
by Mordeson, John N., Nair, Premchand S.
Published 2001
Physica
Subjects: ...Mathematics of Computing...

15
by Kaye, Richard
Published 2007
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

16
by Kornai, Andras
Published 2008
Springer London
Subjects: ...Mathematical logic...

17
by Csirmaz, Laszlo, Gyenis, Zalán
Published 2022
Springer International Publishing
Subjects: ...Mathematical logic...

18
by Akerkar, Rajendra, Akerkar, Rupali
Published 2008
Pearson
Subjects: ...Discrete mathematics / http://id.loc.gov/authorities/subjects/sh2019000551...

19
by Priest, Graham
Published 2024
Cambridge University Press
Subjects: ...Mathematics / Philosophy...

20
by Ram, Babu
Published 2012
Pearson
Subjects: ...Discrete mathematics / Textbooks...