Proceedings of the Summer school in logic, Leeds, 1967 : :: SCD d'Orléans

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Summer school in logic :Leeds, GB
Andre forfattere:	Löb, Martin Hugo, 1921-2006 (Directeur de la publication)
Format:	Livre papier
Sprog:	Anglais Allemand
Udgivet:	Berlin ; Heidelberg ; New York : Springer-Verlag 1968, cop. 1968.
Serier:	Lecture notes in mathematics 70
Fag:	Logique symbolique et mathématique Actes de congrès
Kommentar:	Contributions en anglais, sauf une en allemand
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Proceedings of the Summer school in logic, Leeds, 1967, NATO Advanced study institute, meeting of the Association for symbolic logic, edited by M. H. Löb,..., 20XX, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-35886-2

Lignende værker

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Udgivet: (1973)

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Udgivet: (1971)

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Udgivet: (1975)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Udgivet: (1968)

The Journal of symbolic logic
Udgivet: (1936)

The Journal of symbolic logic
Udgivet: (1936)

The bulletin of symbolic logic
Udgivet: (1995)

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Udgivet: (1975)

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

The problem of inductive logic
Udgivet: (1968)

Logic colloquium : symposium on logic held at Boston, 1972-73
Udgivet: (1975)

Introduction to symbolic logic and its applications
af: Carnap, Rudolf, 1891-1970
Udgivet: (1958)

Notes on logic
af: Lyndon, Roger Conant, 1917-1988
Udgivet: (1966)

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Udgivet: (1978)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Udgivet: (1979)

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1 6, 1983

Logics of programs : Brooklyn, June 17 19, 1985 : proceedings

Conference in mathematical logic, London '70

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Conference in mathematical logic, London '70
Udgivet: (1972)

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
af: Voronkov, Andrei, 1959-

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Logic for mathematicians
af: Rosser, John Barkley, 1907-1989
Udgivet: (1953)

Mathematical logic
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (1967)

Elementary logic
af: Quine, Willard Van Orman, 1908-2000, philosophe
Udgivet: (1965)

Logic and structure
af: Dalen, Dirk van, 1932-

Studia logica
Udgivet: (2002)

Logic Year 1979 80 : The University of Connecticut, USA
af: Lerman, Manuel, 1943-

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

An introduction to modal logic
af: Hughes, George Edward, 1918-, et autres
Udgivet: (1968)

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Udgivet: (1975)

Logic year 1979-80, the University of Connecticut, USA
af: Lerman, Manuel, 1943-
Udgivet: (1981)

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
af: Eijck, Jan van, informaticien

Handbook of mathematical logic
af: Barwise, Jon, 1942-2000, logicien
Udgivet: (1977)

Introduction to mathematical logic.
af: Church, Alonzo, 1903-1995
Udgivet: (1956)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales