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

81
by Bewersdorff, Jörg
Published 2003
Vieweg+Teubner Verlag
Table of Contents: “... -- 2.1 Welcher Zug ist der beste? -- 2.2 Gewinnaussichten und Symmetrie -- 2.3 Ein Spiel zu dritt -- 2.4...”
Cover Image
Read Now

82
by Bewersdorff, Jörg
Published 2001
Vieweg+Teubner Verlag
Table of Contents: “... -- 2.1 Welcher, Zug ist der beste? -- 2.2 Gewinnaussichten und Symmetrie -- 2.3 Ein Spiel zu dritt -- 2.4...”
Cover Image
Read Now

83
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Modallogiken -- 22. Semantik modaler Logiken -- 23. Dimodale Logiken -- 24. Multimodale Logiken -- Hinweise zur...”
Cover Image
Read Now

84
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...-order-logic theorem proving -- Symbolic animation as a proof tool -- Datatypes in L2 -- A formal theory...”
Cover Image
Read Now

85
by Prehofer, Christian
Published 1998
Birkhäuser
Table of Contents: “...1 Introduction -- 2 Preview -- 2.1 Term Rewriting -- 2.2 Narrowing -- 2.3 Narrowing and Logic...”
Cover Image
Read Now

87
Published 2023
Springer International Publishing
Table of Contents: “... Correia’s ‘a new semantic framework for the logic of worldly grounding (and beyond)’ (Kit Fine) -- Chapter...”
Cover Image
Read Now

88
by Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents: “...27. From Logic to the Calculus of Proof Functions -- 28. Calculus of Proof Functions -- 29. From...”
Cover Image
Read Now

89
by Rautenberg, Wolfgang
Published 1995
Vieweg+Teubner Verlag
Table of Contents: “... Mathematische Strukturen -- 2.2 Syntax elementarer Sprachen -- 2.3 Semantik elementarer Sprachen -- 2.4...”
Cover Image
Read Now

90
by Schmidt, Gunther, Ströhlein, Thomas
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...1. Sets -- 2. Homogeneous Relations -- 2.1 Boolean Operations on Relations -- 2.2 Transposition...”
Cover Image
Read Now

91
Published 1969
Springer Berlin Heidelberg
Table of Contents: “... of Cardinal Numbers -- The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital...”
Cover Image
Read Now

92
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Hilbert's Lectures on Foundations of Mathematics from 1921-22 -- Hilbert's Lectures on Logical Foundations...”
Cover Image
Read Now

93
by Blum, Lenore, Cucker, Felipe, Shub, Michael, Smale, Steve
Published 1998
Springer New York
Table of Contents: “... Classes -- 20 Weak Machines -- 21 Additive Machines -- 22 Nonuniform Complexity Classes -- 23 Descriptive...”
Cover Image
Read Now

94
by Grzymala-Busse, Jerzy W.
Published 1991
Springer US
Table of Contents: “...-Order Logic -- 2.2 Production Systems -- 2.3 Semantic Nets -- 2.4 Frames -- Exercises -- 3 Knowledge...”
Cover Image
Read Now

95
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Remarks -- 2 Time and Space Bounded Computations -- 2.1 Introduction -- 2.2 Orders of Magnitude -- 2.3...”
Cover Image
Read Now

96
by Bajnok, Béla
Published 2013
Springer New York
Table of Contents: “... Let's be Logical! -- 8 Setting Examples -- 9 Quantifier Mechanics -- 10 Mathematical Structures -- 11...”
Cover Image
Read Now

97
by Dasgupta, Abhijit
Published 2014
Springer New York
Table of Contents: “... and Axioms -- 20 Paradoxes and Resolutions -- 21 Zermelo–Fraenkel System and von Neumann Ordinals -- 22...”
Cover Image
Read Now

98
by Hesseling, Dennis E.
Published 2003
Birkhäuser
Table of Contents: “... -- 2.1 Introduction -- 2.2 The early years -- 2.3 The first act of intuitionism -- 2.4 Topology -- 2.5...”
Cover Image
Read Now

99
by van Dalen, Dirk, Rowe, David E.
Published 2020
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

100
by von Plato, Jan
Published 2024
Springer Nature Switzerland
Table of Contents: “... physics to mathematics -- 2.1. The physics student -- 2.2. Mathematics and philosophy -- PART II: FIRST...”