A guide to classical and modern model theory
Main Authors: | Marcja, A. ((Annalisa)) (Author), Toffalori, Carlo (Author) |
---|---|
Format: | Book |
Language: | English |
Published: |
Dordrecht
Kluwer Academic Publishers
2003
|
Subjects: |
Similar Items
-
A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987) -
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940) -
The search for certainty a philosophical account of foundations of mathematics
by: Gianquinto, M. ((Marcus))
Published: (2002) -
Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965) -
Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)