Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

101
by Soifer, Alexander
Published 2017
Springer International Publishing
Table of Contents: “... Mathematical Olympiad: April 22, 2005  .-Twenty-Third Colorado Mathematical Olympiad: April 21, 2006...”
Cover Image
Read Now

102
by Jech, Thomas
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

103
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...2 Introduction -- 2.1 Sample Applications -- 2.2 Design and Features -- 2.3 Technical Background...”
Cover Image
Read Now

104
by Exner, George R.
Published 1996
Springer New York
Table of Contents: “... -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs...”
Cover Image
Read Now

105
by Monk, J. Donald
Published 2014
Birkhäuser
Table of Contents: “... of Endomorphisms -- 22. Number of Ideals -- 23. Number of Subalgebras -- 24. Other Cardinal Functions -- 25...”
Cover Image
Read Now

106
by Sikorski, Roman
Published 1969
Springer Berlin Heidelberg
Table of Contents: “... algebras -- § 40. Applications to mathematical logic. Classical calculi -- § 41. Topology in Boolean...”
Cover Image
Read Now

107
by Büchi, J. Richard
Published 1990
Springer New York
Table of Contents: “... Approaches to Definability -- [22] Definability in Normal Theories (with Kenneth J. Danhof) -- [23...”
Cover Image
Read Now

108
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...1 Vorwort -- 2 Einleitung -- 2.1 Anwendungsbeispiele -- 2.2 Gedanken zum Programmdesign -- 2.3 Zum...”
Cover Image
Read Now

109
by Bergmann, E., Noll, H.
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... -- § 21. Exkurs: das Formalisieren -- § 22. Die Formalisierung der Wertzuweisung -- 7. Probleme mit der...”
Cover Image
Read Now

110
by Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

111
by Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip
Published 2021
Springer International Publishing
Table of Contents: “...1. Sets -- 2. Types -- 3. Simple Computations -- 4. Venn Diagrams and Logical Connectives -- 5...”
Cover Image
Read Now

112
by Daepp, Ulrich, Gorkin, Pamela
Published 2011
Springer New York
Table of Contents: “...-Preface. -1. The How, When, and Why of Mathematics -- 2. Logically Speaking -- 3.Introducing...”
Cover Image
Read Now

113
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Introduction -- 2.2 An Array Machine: the APM -- 2.3 A Multiprocessor Machine: the SIMDAG -- 2.4 A Tree Machine...”
Cover Image
Read Now

114
by Devlin, Keith
Published 1993
Springer New York
Table of Contents: “... -- 2 The Zermelo—Fraenkel Axioms -- 2.1 The Language of Set Theory -- 2.2 The Cumulative Hierarchy...”
Cover Image
Read Now

115
by Klir, George J., Elias, Doug
Published 2003
Springer US
Table of Contents: “... of Epistemological Levels of Systems -- 1.4 The Role of Mathematics -- 1.5 The Role of Computer Technology -- 1.6...”
Cover Image
Read Now

116
by Gergely, Tamas, Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Mathematical Background -- 1. Logic and Model Theory -- 2. Inductive Definability -- I...”
Cover Image
Read Now

117
by Kai-Yuan Cai
Published 1998
Springer US
Table of Contents: “... Methods -- 2.1 Software Defect Factors and Distributions -- 2.2 Software Defect Distributions by Rank...”
Cover Image
Read Now

118
by Kai-Yuan Cai
Published 1996
Springer US
Table of Contents: “... -- References -- 2 Fuzzy Sets and Possibility Spaces -- 2.1 Fuzzy Sets -- 2.2 Fuzzy Numbers -- 2.3 Possibility...”
Cover Image
Read Now

119
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

120
Published 1997
Springer Netherlands
Table of Contents: “... results on the foundations of mathematics -- 3. Meaning, reality and algorithms: implications...”