Elementary logic :: SCD d'Orléans

Elementary logic

Elementary logic

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Quine, Willard Van Orman, 1908-2000, philosophe
Materyal Türü:	Livre papier
Dil:	Anglais
Baskı/Yayın Bilgisi:	New York : Harper & Row, Publishers C 1965.
Edisyon:	Revised edition.
Seri Bilgileri:	Harper Torchbooks TB 577
Konular:	Logique symbolique et mathématique
Not:	Autre tirage : 1970
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Méthodes de logique
Yazar:: Quine, Willard Van Orman, 1908-2000, philosophe
Baskı/Yayın Bilgisi: (1973)

Le mot et la chose
Yazar:: Quine, Willard Van Orman, 1908-2000, philosophe
Baskı/Yayın Bilgisi: (1978)

Mathematical logic
Yazar:: Shoenfield, Joseph Robert, 1927-2000
Baskı/Yayın Bilgisi: (1967)

Handbook of mathematical logic
Yazar:: Barwise, Jon, 1942-2000, logicien
Baskı/Yayın Bilgisi: (1977)

Logic and structure
Yazar:: Dalen, Dirk van, 1932-

Notes on logic
Yazar:: Lyndon, Roger Conant, 1917-1988
Baskı/Yayın Bilgisi: (1966)

Modal logics
Yazar:: Feys, Robert, 1889-1961
Baskı/Yayın Bilgisi: (1965)

Logic for mathematicians
Yazar:: Rosser, John Barkley, 1907-1989
Baskı/Yayın Bilgisi: (1953)

Studia logica
Baskı/Yayın Bilgisi: (2002)

An introduction to modal logic
Yazar:: Hughes, George Edward, 1918-, ve diğerleri
Baskı/Yayın Bilgisi: (1968)

Introduction to mathematical logic.
Yazar:: Church, Alonzo, 1903-1995
Baskı/Yayın Bilgisi: (1956)

Foundations of mathematical logic
Yazar:: Curry, Haskell Brooks, 1900-1982
Baskı/Yayın Bilgisi: (1963)

Elements of mathematical logic
Yazar:: Łukasiewicz, Jan, 1878-1956
Baskı/Yayın Bilgisi: (1963)

Introduction to mathematical logic
Yazar:: Mendelson, Elliott, 1931-2020
Baskı/Yayın Bilgisi: (1964)

The elements of mathematical logic
Yazar:: Rosenbloom, Paul C., 1920-2005
Baskı/Yayın Bilgisi: (1950)

Elements of mathematical logic
Yazar:: Novikov, Petr Sergeevich, 1901-1975
Baskı/Yayın Bilgisi: (1964)

Archive for mathematical logic.

An introduction to formal logic
Yazar:: Smith, Peter J, 1944-
Baskı/Yayın Bilgisi: (2003)

An introduction to substructural logics
Yazar:: Restall, Greg, 1969-
Baskı/Yayın Bilgisi: (2000)

Logic journal of the IGPL.
Baskı/Yayın Bilgisi: (1997)

Mathematical logic : a first course
Yazar:: Robbin, Joel W.
Baskı/Yayın Bilgisi: (1969)

A mathematical introduction to logic
Yazar:: Enderton, Herbert, 1936-2010
Baskı/Yayın Bilgisi: (1972)

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

Mathematical problems from applied logic. logics for the XXIst Century

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

The problem of inductive logic
Baskı/Yayın Bilgisi: (1968)

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

The Journal of symbolic logic
Baskı/Yayın Bilgisi: (1936)

The Journal of symbolic logic
Baskı/Yayın Bilgisi: (1936)

The bulletin of symbolic logic
Baskı/Yayın Bilgisi: (1995)

Logica Universalis : Towards a General Theory of Logic
Yazar:: Beziau, Jean-Yves

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Yazar:: Carnielli, Walter Alexandre, 1952-, ve diğerleri

Introduction to logic and to the methodology of deductive sciences
Yazar:: Tarski, Alfred, 1901-1983
Baskı/Yayın Bilgisi: (1965)

Logic colloquium : symposium on logic held at Boston, 1972-73
Baskı/Yayın Bilgisi: (1975)

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

Introduction to symbolic logic and its applications
Yazar:: Carnap, Rudolf, 1891-1970
Baskı/Yayın Bilgisi: (1958)

Annals of pure and applied logic

Three Views of Logic : Mathematics, Philosophy, and Computer Science
Yazar:: Loveland, Donald W., ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Baskı/Yayın Bilgisi: (1968)

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
Yazar:: Eijck, Jan van, informaticien

© 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