Contributions to mathematical logic : :: SCD d'Orléans

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	Logic colloquium :Hannover, G
Drugi avtorji:	Schmidt, H. Arnold (Directeur de la publication), Schütte, Kurt, 1909-1998 (Directeur de la publication), Thiele, Helmut-J (Directeur de la publication)
Format:	Livre papier
Jezik:	Anglais Allemand
Izdano:	Amsterdam : North-Holland publishing company 1968.
Serija:	Studies in logic and the foundations of mathematics
Teme:	Logique symbolique et mathématique Actes de congrès
Sporočilo:	Organisé par la Deutsche Vereinigung für mathematische Logik und für Grundlagenforsgung der exakten Wissenschaften (DVMLG) Sponsorisé par la Division of Logic, Methodology and Philosophy of Science of the International Union for the History and Philosophy of Science
Autres localisations:	Voir dans le Sudoc

Podobne knjige/članki

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

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

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

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

Conference in mathematical logic, London '70

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

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

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

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

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

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

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

Mathematical logic
od: Shoenfield, Joseph Robert, 1927-2000
Izdano: (1967)

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

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

Handbook of mathematical logic
od: Barwise, Jon, 1942-2000, logicien
Izdano: (1977)

Introduction to mathematical logic.
od: Church, Alonzo, 1903-1995
Izdano: (1956)

Foundations of mathematical logic
od: Curry, Haskell Brooks, 1900-1982
Izdano: (1963)

Elements of mathematical logic
od: Łukasiewicz, Jan, 1878-1956
Izdano: (1963)

Introduction to mathematical logic
od: Mendelson, Elliott, 1931-2020
Izdano: (1964)

The elements of mathematical logic
od: Rosenbloom, Paul C., 1920-2005
Izdano: (1950)

Elements of mathematical logic
od: Novikov, Petr Sergeevich, 1901-1975
Izdano: (1964)

Archive for mathematical logic.

The problem of inductive logic
Izdano: (1968)

Mathematical logic : a first course
od: Robbin, Joel W.
Izdano: (1969)

A mathematical introduction to logic
od: Enderton, Herbert, 1936-2010
Izdano: (1972)

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
Izdano: (1968)

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

Mathematical problems from applied logic. logics for the XXIst Century

Mathematical Problems from Applied Logic. Logics for the XXIst Century
od: Gabbay, Dov M., 1945-

A concise introduction to mathematical logic
od: Rautenberg, Wolfgang, 1936-

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

Algebraic methods of mathematical logic
od: Rieger, Ladislav, 1916-1963
Izdano: (1967)

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

Mathematical logic and the foundations of mathematics : an introductory survey
od: Kneebone, G. T.
Izdano: (1963)

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

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

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

© 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