A formalization of set theory without variables

A formalization of set theory without variables

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tarski, Alfred
Άλλοι συγγραφείς:	Givant, Steven R.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, R.I. : American Mathematical Society, c1987
Σειρά:	Colloquium publications (American Mathematical Society) ; 41
Θέματα:	Set theory. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Elements of set theory
από: Zehna, Peter W., κ.ά.
Δημοσίευση: (1962)

An outline of set theory
από: Henle, James M.
Δημοσίευση: (1986)

Set theory and logic
από: Fraenkel, Abraham Adolf, 1891-1965
Δημοσίευση: (1966)

Notes on logic and set theory
από: Johnstone, P. T.
Δημοσίευση: (1987)

Set theory, logic, and their limitations
από: Machover, Moshe
Δημοσίευση: (1996)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1974)

Set theory and the continuum hypothesis
από: Cohen, Paul J. 1934-
Δημοσίευση: (1980)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1961)

Set theory and its logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1969)

Set theory and its logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1963)

Introduction to logic and sets
από: Christian, Robert R.
Δημοσίευση: (1965)

Introduction to logic and sets
από: Christian, Robert R.
Δημοσίευση: (1958)

Abstract sets and finite ordinals :
από: Keene, G. B. (Geoffrey Bourton)
Δημοσίευση: (1961)

The logical and set-theoretical foundations of mathematics
από: Zulauf, Achim
Δημοσίευση: (1969)

Sets, logic & numbers
από: Dodge, Clayton W.
Δημοσίευση: (1969)

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms od Set Theory
από: Gödel, Kurt
Δημοσίευση: (1993)

A primer of formal logic
από: Cooley, John C. (John Cleveland), 1903-
Δημοσίευση: (1942)

Sets, logic and categories
από: Cameron, Peter J. (Peter Jephson) 1947-
Δημοσίευση: (1999)

Elements of Logic and Foundations of Mathematics in Problems
από: Marek, V. W. (V. Wiktor) 1943-
Δημοσίευση: (1982)

Στοιχεία λογικής κ΄ συνόλων :
από: Σταυρουλάκης, Γ. Δ.
Δημοσίευση: (1960)

Systems of formal logic
από: Hackstaff, L. H.
Δημοσίευση: (1966)

Bertrand Russell and the origins of the set-theoretic "paradoxes"
από: Garciadiego Dantan, Alejandro Ricardo
Δημοσίευση: (1992)

Infinity and the mind :
από: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Δημοσίευση: (1995)

Το άπειρο και ο νους
από: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Δημοσίευση: (2004)

Proof, logic, and conjecture :
από: Wolf, Robert S.
Δημοσίευση: (1998)

Axiomatic analysis :
από: Katz, Robert, 1922-
Δημοσίευση: (1964)

Introduction aux mathematiques modernes
από: Monjallon, Albert
Δημοσίευση: (1960)

Foundations of mathematics :

Logic, semantics and metamathematics :
από: Tarski, Alfred
Δημοσίευση: (1983)

Set Theory with a universal set :
από: Forster, T. E.
Δημοσίευση: (1995)

A Theory of Sets
από: Morse, Anthony P. (Anthony Perry)
Δημοσίευση: (1986)

Formal methods in artificial intelligence
από: Ramsay, Allan, 1953-
Δημοσίευση: (1989)

Εισαγωγή εις τα νέα μαθηματικά
από: Σταυρουλάκης, Γ. Δ.
Δημοσίευση: (1960)

Set Theory :
από: Kunen, Kenneth
Δημοσίευση: (1980)

Set theory :
από: Kuratowski, Kazimierz, 1896-1980, κ.ά.
Δημοσίευση: (1976)

Cabal seminar 76-77 :
Δημοσίευση: (1978)

Cabal seminar 79-81 :
Δημοσίευση: (1983)

Μαθηματικαί ενότητες
από: Μαμούρης, Αθανάσιος Ι.
Δημοσίευση: (1972)

A set theory workbook
από: Adamson, Iain T.
Δημοσίευση: (1998)

Introduction to fuzzy set theory and fuzzy logic :
από: Ruspini, Enrique H.
Δημοσίευση: (1992)