Grundzüge der theoretischen Logik :: SCD d'Orléans

Grundzüge der theoretischen Logik

Grundzüge der theoretischen Logik

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-1962 (Auteur)
Formaat:	Livre papier
Taal:	Allemand
Gepubliceerd in:	Berlin : Julius Springer 1938.
Editie:	2. verbesserte Auflage.
Reeks:	Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band 27
Onderwerpen:	Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Gelijkaardige items

Zeitschrift für mathematische Logik und Grundlagen der Mathematik.

Solvable cases of the decision problem
door: Ackermann, Wilhelm, 1896-1962
Gepubliceerd in: (1954)

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
door: Jensen, Ronald Björn, 1936-

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

Eine Termlogik mit Auswahloperator
door: Hermes, Hans, 1912-2003

Introduction à la logique
door: Rivenc, François, 1945-
Gepubliceerd in: (1989)

Notes on logic
door: Lyndon, Roger Conant, 1917-1988
Gepubliceerd in: (1966)

Méthodes de logique
door: Quine, Willard Van Orman, 1908-2000, philosophe
Gepubliceerd in: (1973)

Logique sans peine
door: Carroll, Lewis, 1832-1898
Gepubliceerd in: (1966)

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

An introduction to modal logic
door: Hughes, George Edward, 1918-, et al.
Gepubliceerd in: (1968)

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

A mathematical introduction to logic
door: Enderton, Herbert, 1936-2010
Gepubliceerd in: (1972)

Modal logics
door: Feys, Robert, 1889-1961
Gepubliceerd in: (1965)

Introduction à la logique
door: Delessert, André, 1923-2010
Gepubliceerd in: (1988)

Logic year 1979-80, the University of Connecticut, USA
door: Lerman, Manuel, 1943-
Gepubliceerd in: (1981)

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

Éléments de mathématiques modernes
door: Richardson, Moses, 1911-1968
Gepubliceerd in: (1968)

La logique ou L'art de raisonner
door: Delmas-Rigoutsos, Yannis, 1969-, et al.
Gepubliceerd in: (2000)

Handbook of mathematical logic
door: Barwise, Jon, 1942-2000, logicien
Gepubliceerd in: (1977)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
door: Mostowski, Andrzej, 1913-1975
Gepubliceerd in: (1964)

Introduction to mathematical logic.
door: Church, Alonzo, 1903-1995
Gepubliceerd in: (1956)

Foundations of mathematical logic
door: Curry, Haskell Brooks, 1900-1982
Gepubliceerd in: (1963)

Elements of mathematical logic
door: Łukasiewicz, Jan, 1878-1956
Gepubliceerd in: (1963)

Introduction to mathematical logic
door: Mendelson, Elliott, 1931-2020
Gepubliceerd in: (1964)

Introduction à la logique mathématique
door: Novikov, Petr Sergeevich, 1901-1975
Gepubliceerd in: (1964)

The elements of mathematical logic
door: Rosenbloom, Paul C., 1920-2005
Gepubliceerd in: (1950)

Logic for mathematicians
door: Rosser, John Barkley, 1907-1989
Gepubliceerd in: (1953)

Mathematical logic
door: Shoenfield, Joseph Robert, 1927-2000
Gepubliceerd in: (1967)

Introduction to logic and to the methodology of deductive sciences
door: Tarski, Alfred, 1901-1983
Gepubliceerd in: (1965)

Mathematical logic : a first course
door: Robbin, Joel W.
Gepubliceerd in: (1969)

Selected works
door: Łukasiewicz, Jan, 1878-1956
Gepubliceerd in: (1970)

Elements of mathematical logic
door: Novikov, Petr Sergeevich, 1901-1975
Gepubliceerd in: (1964)

Elementary logic
door: Quine, Willard Van Orman, 1908-2000, philosophe
Gepubliceerd in: (1965)

Proofs and refutations : the logic of mathematical discovery
door: Lakatos, Imre, 1922-1974
Gepubliceerd in: (1976)

Logique sans peine
door: Carroll, Lewis, 1832-1898
Gepubliceerd in: (1972)

Cours de logique mathématique. Récursivité et constructibilité
door: Fraïssé, Roland, 1920-2008, mathématicien
Gepubliceerd in: (1975)

Cours de logique mathématique. Théorie des modèles
door: Fraïssé, Roland, 1920-2008, mathématicien
Gepubliceerd in: (1972)

Cours de logique mathématique. Relation et formule logique
door: Fraïssé, Roland, 1920-2008, mathématicien
Gepubliceerd in: (1971)

Introduction à la logique
door: Tarski, Alfred, 1901-1983
Gepubliceerd in: (1971)

© 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