Liknande böcker

Model Theory and Applications
Bok av P. Mangani
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
Bok av Roman. Murawski
Giuseppe Peano between Mathematics and Logic
Bok av Fulvia. Skof
Foundational Theories of Classical and Constructive Mathematics
Bok av Giovanni. Sommaruga
Logicism, Intuitionism, and Formalism
Bok av Sten Lindstrom
The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves...
Bok av Arnold. Koslow
A Missing Link in Cybernetics : Logic and Continuity
Bok av Alex M. Andrew
Dual Tableaux: Foundations, Methodology, Case Studies
Bok av Ewa. Orlowska

Aspects of Mathematical Logic

Bok av E. Casari
H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.