Mathematical logic and the foundations of mathematics : :: SCD d'Orléans

Mathematical logic and the foundations of mathematics : an introductory survey

Mathematical logic and the foundations of mathematics : an introductory survey

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Kneebone, G. T.
Format:	Livre papier
Sprog:	Anglais
Udgivet:	London ; Toronto ; Princeton, N.J. [etc.] : D. Van Nostrand Company Limited copyright 1963.
Fag:	Logique symbolique et mathématique Mathématiques > Fondements
Kommentar:	Autre tirage : 1965
Autres localisations:	Voir dans le Sudoc

Lignende værker

Foundations of mathematical logic
af: Curry, Haskell Brooks, 1900-1982
Udgivet: (1963)

Mathematical logic
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (1967)

Elements of mathematical logic
af: Łukasiewicz, Jan, 1878-1956
Udgivet: (1963)

Handbook of mathematical logic
af: Barwise, Jon, 1942-2000, logicien
Udgivet: (1977)

Introduction to mathematical logic.
af: Church, Alonzo, 1903-1995
Udgivet: (1956)

Introduction to mathematical logic
af: Mendelson, Elliott, 1931-2020
Udgivet: (1964)

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

Elements of mathematical logic
af: Novikov, Petr Sergeevich, 1901-1975
Udgivet: (1964)

Archive for mathematical logic.

Mathematical logic : a first course
af: Robbin, Joel W.
Udgivet: (1969)

A mathematical introduction to logic
af: Enderton, Herbert, 1936-2010
Udgivet: (1972)

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

Mathematical problems from applied logic. logics for the XXIst Century

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

Giuseppe Peano between mathematics and logic : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2 3,2008

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

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

Conference in mathematical logic, London '70

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

Algebraic methods of mathematical logic
af: Rieger, Ladislav, 1916-1963
Udgivet: (1967)

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

Foundations of equational logic programming
af: Hölldobler, Steffen, 1957-

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

Foundations of inductive logic programming
af: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

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

Elements of mathematical logic and set theory
af: Słupecki, Jerzy, 1904-1987, et autres
Udgivet: (1967)

Logique interne : [modèles et applications]
af: Gauthier, Yvon, 1941-
Udgivet: (1997)

Mathematical foundations of programming
af: Beckman, Frank S., 1921-2009
Udgivet: (1980)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2017)

Zeitschrift für mathematische Logik und Grundlagen der Mathematik.

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
af: Bulloff, Jack J., 19..-

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

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
af: Ladrière, Jean, 1921-2007
Udgivet: (1992)

Notes on logic
af: Lyndon, Roger Conant, 1917-1988
Udgivet: (1966)

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science
af: Loveland, Donald W., et autres
Udgivet: (2014)

A Course on Mathematical Logic
af: Srivastava, Sashi Mohan, 19..-

Le continu et autres écrits
af: Weyl, Hermann, 1885-1955
Udgivet: (1994)

Logic for mathematicians
af: Rosser, John Barkley, 1907-1989
Udgivet: (1953)

© 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