Proceedings of the Summer School in Logic, Leeds, 1967 ; N. A. T. O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
| Corporate Authors: | Summer School in Logic Leeds, Eng., NATO Advanced Study Institute, Association for Symbolic Logic |
|---|---|
| Other Authors: | Löb, M. H. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin, New York [etc.] :
Springer-Verlag,
1968.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
70. |
| Subjects: |
Similar Items
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)
Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)
Published: (1973)
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)
Published: (1973)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)
Published: (1975)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Term logic with choice operator.
by: Hermes, Hans
Published: (1970)
by: Hermes, Hans
Published: (1970)
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)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Conference in Mathematical Logic, London '70 /
Published: (1972)
Published: (1972)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
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)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983.
Published: (1984)
Published: (1984)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
Toposes, algebraic geometry and logic /
Published: (1972)
Published: (1972)
Symbolic logic /
by: Lewis, Clarence Irving, 1883-1964
Published: (1932)
by: Lewis, Clarence Irving, 1883-1964
Published: (1932)
Symbolic logic.
by: Copi, Irving M.
Published: (1954)
by: Copi, Irving M.
Published: (1954)
Symbolic logic.
by: Venn, John, 1834-1923
Published: (1971)
by: Venn, John, 1834-1923
Published: (1971)
Symbolic logic /
by: Copi, Irving M.
Published: (1979)
by: Copi, Irving M.
Published: (1979)
Symbolic logic.
by: Copi, Irving M.
Published: (1965)
by: Copi, Irving M.
Published: (1965)
Symbolic logic /
by: Copi, Irving M.
Published: (1967)
by: Copi, Irving M.
Published: (1967)
Symbolic logic /
by: Lewis, Clarence Irving, 1883-1964
Published: (1951)
by: Lewis, Clarence Irving, 1883-1964
Published: (1951)
Symbolic logic.
by: Fitch, Frederic Brenton
Published: (1952)
by: Fitch, Frederic Brenton
Published: (1952)
Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)
Published: (1978)
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)
Published: (2004)
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)
Published: (2004)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
Published: (1975)
Published: (1975)
Symbolic logic ; an introduction /
by: Thomason, Richmond H.
Published: (1969)
by: Thomason, Richmond H.
Published: (1969)
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
Published: (2000)
Published: (2000)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
Understanding symbolic logic /
by: Klenk, Virginia, 1940-
Published: (1983)
by: Klenk, Virginia, 1940-
Published: (1983)
Introduction to symbolic logic /
by: Pollock, John L.
Published: (1969)
by: Pollock, John L.
Published: (1969)
Fundamentals of symbolic logic /
by: Ambrose, Alice, 1906-, et al.
Published: (1948)
by: Ambrose, Alice, 1906-, et al.
Published: (1948)
Understanding symbolic logic /
by: Massey, Gerald J.
Published: (1970)
by: Massey, Gerald J.
Published: (1970)
Introduction to symbolic logic /
by: Carney, James D. (James Donald)
Published: (1970)
by: Carney, James D. (James Donald)
Published: (1970)
Elementary symbolic logic /
by: Gustason, William
Published: (1973)
by: Gustason, William
Published: (1973)
Understanding symbolic logic /
by: Klenk, Virginia, 1940-
Published: (2008)
by: Klenk, Virginia, 1940-
Published: (2008)