ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
| Corporate Author: | International Summer Institute and Logic Colloquium University of Kiel |
|---|---|
| Other Authors: | Müller, G. H. (Gert Heinz), 1923-, Oberschelp, Arnold, Potthoff, Karl |
| Format: | Conference Proceeding Book |
| Language: | English French |
| Published: |
Berlin ; New York :
Springer-Verlag,
1975.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
499. |
| Subjects: |
Similar Items
Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 /
Published: (1970)
Published: (1970)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Sets and logic /
by: Hanna, Samuel C.
Published: (1971)
by: Hanna, Samuel C.
Published: (1971)
The logic of infinity /
by: Sheppard, Barnaby
Published: (2014)
by: Sheppard, Barnaby
Published: (2014)
Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms /
by: Jensen, Ronald Björn
Published: (1967)
by: Jensen, Ronald Björn
Published: (1967)
Conference in Mathematical Logic, London '70 /
Published: (1972)
Published: (1972)
Set theory and logic /
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)
Introduction to logic and sets /
by: Christian, Robert R.
Published: (1965)
by: Christian, Robert R.
Published: (1965)
Set theory and logic /
by: Stoll, Robert Roth
Published: (1963)
by: Stoll, Robert Roth
Published: (1963)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
Published: (1975)
Published: (1975)
Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Published: (1971)
Published: (1971)
Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)
by: Tourlakis, George J.
Published: (2003)
Introductory formal logic of mathematics.
by: Nidditch, P. H.
Published: (1957)
by: Nidditch, P. H.
Published: (1957)
Set theory and its logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1963)
by: Quine, W. V. (Willard Van Orman)
Published: (1963)
Sets, logic, and axiomatic theories /
by: Stoll, Robert Roth
Published: (1961)
by: Stoll, Robert Roth
Published: (1961)
Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Published: (1967)
Published: (1967)
Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Published: (1984)
Published: (1984)
Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)
Published: (1973)
Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Published: (1970)
Published: (1970)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Elements of logic and foundations of mathematics in problems /
by: Marek, Wiktor
Published: (1982)
by: Marek, Wiktor
Published: (1982)
Sets, logic & numbers /
by: Dodge, Clayton W.
Published: (1969)
by: Dodge, Clayton W.
Published: (1969)
Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)
by: Bittinger, Marvin L.
Published: (1982)
Logic, computers, and sets.
by: Wang, Hao
Published: (1970)
by: Wang, Hao
Published: (1970)
Sets, logic, and categories /
by: Cameron, Peter J. (Peter Jephson), 1947-
Published: (1999)
by: Cameron, Peter J. (Peter Jephson), 1947-
Published: (1999)
Set theory and its logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
Modern logic.
Published: (1990)
Published: (1990)
Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983.
Published: (1984)
Published: (1984)
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)
Published: (1985)
ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)
Published: (1975)
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)
Published: (1973)
Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)
by: Hinman, Peter G.
Published: (2005)
Proceedings of the Summer School in Logic, Leeds, 1967 ; N. A. T. O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)
Published: (1968)
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)
Published: (1981)
How to approximate the naive comprehension scheme inside of classical logic /
by: Weydert, Emil
Published: (1989)
by: Weydert, Emil
Published: (1989)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
A theory of sets /
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
by: Schröder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Published: (2010)
by: Schröder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Published: (2010)
Axiomatic analysis ; an introduction to logic and the real number system /
by: Katz, Robert, 1922-
Published: (1964)
by: Katz, Robert, 1922-
Published: (1964)