Logic Colloquium : :: SCD d'Orléans

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

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

Bewaard in:

Bibliografische gegevens
Andere auteurs:	Parikh, Rohit, 1936- (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in mathematics 453
Onderwerpen:	Logique symbolique et mathématique Mathématiques Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic colloquium, symposium on logic held at Boston, 1972-73, edited by R. Parikh, 1975, Berlin [etc.], Springer, 1 vol. (251 p.), Lecture notes in mathematics, 978-3-540-07155-6 • Logic Colloquium, Texte imprimé, 9783662197455

Gelijkaardige items

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

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

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

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

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

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Gepubliceerd in: (1977)

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

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

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

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

The problem of inductive logic
Gepubliceerd in: (1968)

Conference in mathematical logic, London '70

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

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

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

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

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

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

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

Logic year 1979-80, the University of Connecticut, USA
door: Lerman, Manuel, 1943-
Gepubliceerd in: (1981)

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

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Gepubliceerd in: (1970)

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
door: Homer, Steven, et al.

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

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

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

Notes on logic
door: Lyndon, Roger Conant, 1917-1988
Gepubliceerd in: (1966)

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
door: Bucur, Ion, 1930-1976, et al.

Modal logics
door: Feys, Robert, 1889-1961
Gepubliceerd in: (1965)

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

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

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

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

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

Logic for mathematicians
door: Rosser, John Barkley, 1907-1989
Gepubliceerd in: (1953)

Mathematical logic
door: Shoenfield, Joseph Robert, 1927-2000
Gepubliceerd in: (1967)

Elementary logic
door: Quine, Willard Van Orman, 1908-2000, philosophe
Gepubliceerd in: (1965)

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

© 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