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

Saved in:

Bibliographic Details
Corporate Author:	Summer school in logic :Leeds, GB
Other Authors:	Löb, Martin Hugo, 1921-2006 (Publishing director)
Format:	Livre numérique
Language:	Anglais Allemand
Published:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in mathematics 70
Subjects:	Logique symbolique et mathématique Mathématiques Actes de congrès
Online Access:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Contributions en anglais, sauf une en allemand Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Proceedings of the Summer School in Logik, Leeds, 1967, Texte imprimé, 9783540042402 • Proceedings of the Summer School in Logik, Leeds, 1967, Texte imprimé, 9783662194294

Similar Items

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

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
Published: (1973)

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Published: (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
Published: (1975)

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

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

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

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

The problem of inductive logic
Published: (1968)

Conference in mathematical logic, London '70

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

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Published: (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
Published: (1972)

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

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

The Journal of symbolic logic
Published: (1936)

The Journal of symbolic logic
Published: (1936)

The bulletin of symbolic logic
Published: (1995)

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

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

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
by: Voronkov, Andrei, 1959-

Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21 24, 1979 and February 4 7, 1980

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

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

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

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
by: MacNish, Craig, 19..-

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

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

Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
Published: (1965)

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
by: Fuhrmann, André

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 28, 1988
by: Homer, Steven, et al.

Logics in AI : European Workshop JELIA'92, Berlin, Germany, September 7 10, 1992 : proceedings
by: Pearce, David A, 1952-

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Logic of programs : workshop, ETH Zürich, May-July 1979
by: Engeler, Erwin, 1930-

© 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