ISILC logic conference : :: SCD d'Orléans

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

Salvato in:

Dettagli Bibliografici
Ente Autore:	International Summer Institute and Logic Colloquium :Kiel
Altri autori:	Müller, Gert Heinz, 1923-2006 (Direttore editoriale), Oberschelp, Arnold (Direttore editoriale), Potthoff, Klaus, 19..- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais Français
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in mathematics 499
Soggetti:	Logique symbolique et mathématique Mathématiques Ensembles, Théorie des Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Contient des textes en anglais et en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• ISILC logic conference, proceedings of the International summer institute and logic colloquium, Kiel, 1974, edited by G. H. Müller, A. Oberschelp and K. Potthoff, Berlin, Springer, 1975, 1 vol. (IV-651 p.), Lecture notes in mathematics, 0-387-07534-8 • ISILC - Logic Conference, Texte imprimé, 9783662192962

Documenti analoghi

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

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

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
Pubblicazione: (1970)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Set theory and logic
di: Fraenkel, Abraham Adolf, 1891-1965
Pubblicazione: (1966)

Logic, computers, and sets
di: Wang, Hao, 1921-
Pubblicazione: (1970)

Sets, logic, and categories
di: Cameron, Peter J., 1947-...., mathématicien

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Pubblicazione: (1978)

Cabal Seminar 76 77 : proceedings, Caltech-UCLA logic seminar 1976 77

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

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

Elements of mathematical logic and set theory
di: Słupecki, Jerzy, 1904-1987, et al.
Pubblicazione: (1967)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

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

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

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

Conference in mathematical logic, London '70

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

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

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

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

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

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

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

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

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

Collected works. Logic, theory of sets and quantum mechanics
di: Von Neumann, John, 1903-1957
Pubblicazione: (1961)

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

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

The problem of inductive logic
Pubblicazione: (1968)

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

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

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

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

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

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
di: Jensen, Ronald Björn, 1936-

Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers

Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings
di: Klement, Erich Peter

Admissible sets and structures : an approach to definability theory
di: Barwise, Jon, 1942-2000
Pubblicazione: (1975)

© 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