Cover Image
Read Now

2
Published 1976
Springer Berlin Heidelberg
Table of Contents: “...Curriculum vitae of A. Mostowski -- Two remarks on the models of Morse’ set theory -- A remark...”
Cover Image
Read Now

3
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... -- The Lindenbaum-algebra of the theory of well-orders and Abelian groups with the quantifier Q? -- Extendability...”
Cover Image
Read Now

4
Published 2017
Springer New York
Table of Contents: “...Inertial Motion, Explanation, and the Foundations of Classical Spacetime Theories -- A Primer...”
Cover Image
Read Now

5
by Lachlan, Alistair
Published 1977
Springer
Cover Image
Read Now

7
by Lu, Y.-C.
Published 1976
Springer New York
Table of Contents: “...1 Introduction to Singularity Theory with Historical Remarks -- 1. Introduction with naive...”
Cover Image
Read Now

8
Published 1977
Springer
Cover Image
Read Now

9
Published 1969
Springer
Cover Image
Read Now

10
Published 1969
Springer
Cover Image
Read Now

11
Published 1969
Springer
Cover Image
Read Now

12
by Skowron, Andrzej
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... of inconsistent theories with notions of feasibility -- On the log-space reducibility among array languages...”
Cover Image
Read Now

13
by Kreith, K.
Published 1973
Springer Berlin Heidelberg
Table of Contents: “...The classical theory -- Nonselfadjoint equations -- Partial differential equations -- Related...”
Cover Image
Read Now

14
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... theory...”
Cover Image
Read Now

15
by Schütte, K.
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... Predicate Calculus -- IV. Classical Simple Type Theory -- B. Systems of Arithmetic -- V. Ordinal Numbers...”
Cover Image
Read Now

16
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
Table of Contents: “...1. Proofs and proof theory -- 2. Classical first-order logic -- 3. Variants of the first sequent...”
Cover Image
Read Now

20
Published 1977
Springer