Logique, semantique, metamathematique 1923-1944

Logique, semantique, metamathematique 1923-1944

Bibliographic Details
Main Author:	Tarski, Alfred (Author)
Format:	Book
Language:	French
Published:	Paris Armand Colin 1972
Series:	Philosophies pour l'age de la science
Subjects:	Λογική, Συμβολική και μαθηματική

Similar Items

Logic, semantics, metamathematics papers from 1923 to 1938
by: Tarski, Alfred
Published: (1956)

Ordinal algebras /
by: Tarski, Alfred
Published: (1956)

Logiques, ensembles, categories le point de vue constructif
by: Ageron, Pierre
Published: (2000)

Ordinal algebras /
by: Tarski, Alfred
Published: (1956)

Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965)

A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Conference in Mathematical Logic, London '70 /
Published: (1972)

Introduction to combinatory logic /
by: Hindley, J. Roger
Published: (1972)

Mathematical logic a course with exercises
by: Cori, Rene

The classical decision problem /
by: Boerger, Egon, 1946-
Published: (1997)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1990)

Theory of symmetric lattices /
by: Maeda, Fumitomo, 1897-1965
Published: (1970)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

Nomological statements and admissible operations /
by: Reichenbach, Hans, 1891-1953
Published: (1954)

Solvable cases of the decision problem /
by: Ackermann, W. (Wilhelm), 1896-
Published: (1954)

Mathematical interpretation of formal systems /
Published: (1955)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
by: Mostowski, Andrzej
Published: (1964)

Mathematics the study of axiom systems
by: Witter, G. E.
Published: (1964)

Εισαγωγή στη μαθηματική λογική
by: Δρόσος, Κώστας Α., et al.
Published: (2000)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1987)

Στοιχειώδεις έννοιες από τα μαθηματικά και τη λογική
by: Παπαδοπετράκης, Ευτύχης
Published: (1999)

Logic for mathematics and computer science
by: Burris, Stanley N.
Published: (1998)

Sets, logic, and axiomatic theories
by: Stoll, Robert R.
Published: (1961)

Journey into mathematics an introduction to proofs
by: Rotman, Joseph J., 1934-
Published: (1998)

Basic model theory
by: Doets, Kees
Published: (1996)

Logic of mathematics a modern course of classical logic
by: Adamowicz, Zofia
Published: (1997)

Einführung in die operative Logik und Mathematik /
by: Lorenzen, Paul, 1915-1994
Published: (1969)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)

A treatise on many-valued logics
by: Gottwald, Siegfried
Published: (2001)

The language of logic
by: Freudenthal, Hans, 1905-
Published: (1966)

Introduction to mathematical proofs a transition
by: Roberts, Charles E.
Published: (2010)

Στοιχεία θεωρίας υπολογισμού /
by: Lewis, Harry R.
Published: (2005)

Mathematische Gesetze der Logik /
by: Schmidt, H. Arnold, 1902-
Published: (1960)

An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-
Published: (1975)

Many-valued logics
by: Bolc, Leonard

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Grundzüge der mathematischen Logik /
by: Scholz, Heinrich, 1884-1956
Published: (1961)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών