The elements of mathematical logic :: SCD d'Orléans

The elements of mathematical logic

The elements of mathematical logic

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Rosenbloom, Paul C., 1920-2005
Μορφή:	Livre papier
Γλώσσα:	Anglais
Έκδοση:	New York : Dover publications, Inc. 1950.
Σειρά:	The Dover series in mathematics and physics S227
Θέματα:	Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Παρόμοια τεκμήρια

Elements of mathematical logic
ανά: Łukasiewicz, Jan, 1878-1956
Έκδοση: (1963)

Elements of mathematical logic
ανά: Novikov, Petr Sergeevich, 1901-1975
Έκδοση: (1964)

Mathematical logic
ανά: Shoenfield, Joseph Robert, 1927-2000
Έκδοση: (1967)

Elements of mathematical logic and set theory
ανά: Słupecki, Jerzy, 1904-1987, κ.ά.
Έκδοση: (1967)

Handbook of mathematical logic
ανά: Barwise, Jon, 1942-2000, logicien
Έκδοση: (1977)

Introduction to mathematical logic.
ανά: Church, Alonzo, 1903-1995
Έκδοση: (1956)

Foundations of mathematical logic
ανά: Curry, Haskell Brooks, 1900-1982
Έκδοση: (1963)

Introduction to mathematical logic
ανά: Mendelson, Elliott, 1931-2020
Έκδοση: (1964)

Archive for mathematical logic.

Mathematical logic : a first course
ανά: Robbin, Joel W.
Έκδοση: (1969)

A mathematical introduction to logic
ανά: Enderton, Herbert, 1936-2010
Έκδοση: (1972)

A concise introduction to mathematical logic
ανά: Rautenberg, Wolfgang, 1936-

Mathematical problems from applied logic. logics for the XXIst Century

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

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Έκδοση: (1968)

Mathematical logic and the foundations of mathematics : an introductory survey
ανά: Kneebone, G. T.
Έκδοση: (1963)

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

Algebraic methods of mathematical logic
ανά: Rieger, Ladislav, 1916-1963
Έκδοση: (1967)

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

Conference in mathematical logic, London '70

Conference in mathematical logic, London '70
Έκδοση: (1972)

Elements of Logic via Numbers and Sets
ανά: Johnson, David Lawrence, 1943-2023, mathématicien

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
Έκδοση: (1973)

A Course on Mathematical Logic
ανά: Srivastava, Sashi Mohan, 19..-

Notes on logic
ανά: Lyndon, Roger Conant, 1917-1988
Έκδοση: (1966)

Modal logics
ανά: Feys, Robert, 1889-1961
Έκδοση: (1965)

Logic for mathematicians
ανά: Rosser, John Barkley, 1907-1989
Έκδοση: (1953)

Elementary logic
ανά: Quine, Willard Van Orman, 1908-2000, philosophe
Έκδοση: (1965)

Logic and structure
ανά: Dalen, Dirk van, 1932-

Studia logica
Έκδοση: (2002)

An introduction to modal logic
ανά: Hughes, George Edward, 1918-, κ.ά.
Έκδοση: (1968)

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Έκδοση: (1971)

An introduction to formal logic
ανά: Smith, Peter J, 1944-
Έκδοση: (2003)

An introduction to substructural logics
ανά: Restall, Greg, 1969-
Έκδοση: (2000)

Logic journal of the IGPL.
Έκδοση: (1997)

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
Έκδοση: (1970)

The problem of inductive logic
Έκδοση: (1968)

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

The Journal of symbolic logic
Έκδοση: (1936)

© 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