Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Συλλογικό Έργο: | Summer School in Mathematical Logic University of Leicester, Logic Colloquium |
---|---|
Άλλοι συγγραφείς: | Crossley, John N. (επιμελητής.) |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1967.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Set theory and logic
ανά: Stoll, Robert R.
Έκδοση: (1979) -
Set theory and its logic /
ανά: Quine, W. V. (Willard Van Orman), 1908-2000
Έκδοση: (1969) -
Sets, logic and categories /
ανά: Cameron, Peter J. 1947- (Peter Jephson)
Έκδοση: (1999) -
Admissible sets and structures an approach to definability theory
ανά: Barwise, Jon
Έκδοση: (1975) -
Elements of logic and foundations of mathematics
ανά: Marek, Wictor V.
Έκδοση: (1982)