A mathematical introduction to logic :: SCD d'Orléans

A mathematical introduction to logic

A mathematical introduction to logic

Guardat en:

Dades bibliogràfiques
Autor principal:	Enderton, Herbert, 1936-2010
Format:	Livre papier
Idioma:	Anglais
Publicat:	New York ; London : Academic Press C 1972.
Matèries:	Logique symbolique et mathématique Logique du premier ordre Décidabilité (logique mathématique)
Autres localisations:	Voir dans le Sudoc

Ítems similars

Logique et complexité
per: Lassaigne, Richard, et al.
Publicat: (1996)

Solvable cases of the decision problem
per: Ackermann, Wilhelm, 1896-1962
Publicat: (1954)

Cinq conférences sur l'indécidabilité
per: Bouleau, Nicolas, 1945-, et al.
Publicat: (1983)

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk

Le dixième problème de Hilbert : son indécidabilité
per: Matiâsevič, Ûrij Vladimirovič, 1947-
Publicat: (1995)

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

Les théorèmes d'incomplétude de Gödel
per: Smullyan, Raymond Merrill, 1919-2017
Publicat: (2000)

Introduction to mathematical logic.
per: Church, Alonzo, 1903-1995
Publicat: (1956)

Introduction to mathematical logic
per: Mendelson, Elliott, 1931-2020
Publicat: (1964)

Mathematical logic
per: Shoenfield, Joseph Robert, 1927-2000
Publicat: (1967)

Mathematical logic : a first course
per: Robbin, Joel W.
Publicat: (1969)

Handbook of mathematical logic
per: Barwise, Jon, 1942-2000, logicien
Publicat: (1977)

Foundations of mathematical logic
per: Curry, Haskell Brooks, 1900-1982
Publicat: (1963)

Elements of mathematical logic
per: Łukasiewicz, Jan, 1878-1956
Publicat: (1963)

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

Elements of mathematical logic
per: Novikov, Petr Sergeevich, 1901-1975
Publicat: (1964)

Archive for mathematical logic.

Büchi's monadic second order successor arithmetic
per: Siefkes, Dirk
Publicat: (1970)

An introduction to modal logic
per: Hughes, George Edward, 1918-, et al.
Publicat: (1968)

Mathematical problems from applied logic. logics for the XXIst Century

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

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

Introduction to the theory of computation
per: Sipser, Michael
Publicat: (2006)

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

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

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

Algebraic methods of mathematical logic
per: Rieger, Ladislav, 1916-1963
Publicat: (1967)

An introduction to formal logic
per: Smith, Peter J, 1944-
Publicat: (2003)

An introduction to substructural logics
per: Restall, Greg, 1969-
Publicat: (2000)

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

Studia logica
Publicat: (2002)

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

Logic journal of the IGPL.
Publicat: (1997)

Introduction to logic and to the methodology of deductive sciences
per: Tarski, Alfred, 1901-1983
Publicat: (1965)

Introduction to symbolic logic and its applications
per: Carnap, Rudolf, 1891-1970
Publicat: (1958)

Introduction à la calculabilité : cours et exercices corrigés
per: Wolper, Pierre, 1955-
Publicat: (2001)

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

© 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