Mathematical interpretation of formal systems :: SCD d'Orléans

Mathematical interpretation of formal systems

Mathematical interpretation of formal systems

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Skolem, Thoralf, 1887-1963 (Autor), Hasenjaeger, Gisbert, 1919-2006 (Autor), Kreisel, Georg, 1923-2015 (Autor)
Korporativní autor:	Symposium on mathematical interpretation of formal systems :Amsterdam
Médium:	Livre papier
Jazyk:	Anglais Français
Vydáno:	Amsterdam [etc.] : North-Holland Publishing Company 1971.
Vydání:	Second edition.
Edice:	Studies in logic and the foundations of mathematics
Témata:	Logique symbolique et mathématique Actes de congrès
Poznámka:	Contributions en anglais ou en français Communications faites lors du "symposion [sic] on Mathematical interpretation of formal systems" organisé par le Wiskundig Genootschap (Mathematical Society) à Amsterdam les 9 et 10 septembre 1954
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Vydáno: (1965)

An introduction to formal logic
Autor: Smith, Peter J, 1944-
Vydáno: (2003)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Autor: Bernays, Paul, 1888-1977, a další
Vydáno: (1958)

Conference in mathematical logic, London '70

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

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

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

Conference in mathematical logic, London '70
Vydáno: (1972)

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
Vydáno: (1973)

Mathematical logic
Autor: Shoenfield, Joseph Robert, 1927-2000
Vydáno: (1967)

Eléments de logique mathématique : théorie des modèles
Autor: Kreisel, Georg, 1923-2015, a další
Vydáno: (1967)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Handbook of mathematical logic
Autor: Barwise, Jon, 1942-2000, logicien
Vydáno: (1977)

Introduction to mathematical logic.
Autor: Church, Alonzo, 1903-1995
Vydáno: (1956)

Foundations of mathematical logic
Autor: Curry, Haskell Brooks, 1900-1982
Vydáno: (1963)

Elements of mathematical logic
Autor: Łukasiewicz, Jan, 1878-1956
Vydáno: (1963)

Introduction to mathematical logic
Autor: Mendelson, Elliott, 1931-2020
Vydáno: (1964)

The elements of mathematical logic
Autor: Rosenbloom, Paul C., 1920-2005
Vydáno: (1950)

Elements of mathematical logic
Autor: Novikov, Petr Sergeevich, 1901-1975
Vydáno: (1964)

Archive for mathematical logic.

A mathematical introduction to logic
Autor: Enderton, Herbert, 1936-2010
Vydáno: (1972)

Mathematical logic : a first course
Autor: Robbin, Joel W.
Vydáno: (1969)

Algebraic methods of mathematical logic
Autor: Rieger, Ladislav, 1916-1963
Vydáno: (1967)

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

Mathematical foundations of computer science 1984 : proceedings, 11th symposium, Praha, Czechoslovakia, September 3-7, 1984 : MFCS '84

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

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
Vydáno: (1970)

Formal concept analysis : mathematical foundations : with 105 figures
Autor: Ganter, Bernhard, a další
Vydáno: (1999)

Constructibility and mathematical existence
Autor: Chihara, Charles S., 1932-
Vydáno: (1990)

Mathematical problems from applied logic. logics for the XXIst Century

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

Mathematical logic and the foundations of mathematics : an introductory survey
Autor: Kneebone, G. T.
Vydáno: (1963)

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
Autor: Brookes, Stephen

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

© 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