A formalization of set theory without variables
Κύριος συγγραφέας: | Tarski, Alfred |
---|---|
Άλλοι συγγραφείς: | Givant, Steven R. |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Providence
American Mathematical Society
1987
|
Σειρά: | American Mathematical Society : Colloquium Publications
41 |
Θέματα: |
Παρόμοια τεκμήρια
-
Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965) -
Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001) -
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
ανά: Gödel, Kurt
Έκδοση: (1940) -
A guide to classical and modern model theory
ανά: Marcja, A. ((Annalisa)), κ.ά.
Έκδοση: (2003) -
The search for certainty a philosophical account of foundations of mathematics
ανά: Gianquinto, M. ((Marcus))
Έκδοση: (2002)