Cabal seminar 79-81 :

Cabal seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Cabal Seminar
Άλλοι συγγραφείς:	Kechris, A. S., 1946- (Επιμελητής έκδοσης), Martin, D. A. (Donald A.), 1940- (Επιμελητής έκδοσης), Μοσχοβάκης, Γιάννης Ν., 1938- (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin : Springer-Verlag, 1983.
Σειρά:	Lecture notes in mathematics (Springer-Verlag) 1019
Θέματα:	Set theory > Congresses. Recursion theory > Congresses. Logic, Symbolic and mathematical > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Cabal Seminar 81-85 :
Δημοσίευση: (1988)

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

Foundations of mathematics :

Recursive Function Theory
Δημοσίευση: (1962)

Recursion Theory Week
Δημοσίευση: (1985)

Recursion theory week :
Δημοσίευση: (1990)

Current Issues in Quantum Logic
Δημοσίευση: (1981)

Μαθηματική και κβαντική λογική :
Δημοσίευση: (1998)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

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

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)

A formalization of set theory without variables
από: Tarski, Alfred
Δημοσίευση: (1987)

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

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)

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

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

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

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

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

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

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

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

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

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

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

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

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

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

Logic Colloquium '90 :
Δημοσίευση: (1993)

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Δημοσίευση: (1984)

Logic colloquium :
Δημοσίευση: (1975)

Mathematical logic and its applications :
Δημοσίευση: (1989)

Advances in linear logic
Δημοσίευση: (1995)

Methods in mathematical logic :
Δημοσίευση: (1985)

Methods and applications of mathematical logic :
Δημοσίευση: (1988)

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