Introduction to logic :: SCD d'Orléans

Introduction to logic

Introduction to logic

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Suppes, Patrick, 1922-2014
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Princeton (N.J.) ; Toronto ; London : D. Van Nostrand 1957.
Serier:	The University series in undergraduate mathematics
Fag:	Logique
Kommentar:	Autres tirages : 1958, 1959, 1960, 1962, 1963, 1966, 1967, 1968, 1969
Autres localisations:	Voir dans le Sudoc

Lignende værker

Introduction to logic.
af: Copi, Irving M.
Udgivet: (1961)

An introduction to modal logic
af: Hughes, George Edward, 1918-, et autres
Udgivet: (1968)

A mathematical introduction to logic
af: Enderton, Herbert, 1936-2010
Udgivet: (1972)

Introduction to combinatory logic
af: Hindley, James Roger, 1939-, et autres
Udgivet: (1972)

Introduction to mathematical logic.
af: Church, Alonzo, 1903-1995
Udgivet: (1956)

Introduction to mathematical logic
af: Mendelson, Elliott, 1931-2020
Udgivet: (1964)

An introduction to formal logic
af: Smith, Peter J, 1944-
Udgivet: (2003)

An introduction to substructural logics
af: Restall, Greg, 1969-
Udgivet: (2000)

Logic : an introduction
af: Restall, Greg, 1969-

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

Logique du probable : démarche bayésienne et rationalité
af: Suppes, Patrick, 1922-2014
Udgivet: (1981)

Introduction to medieval logic
af: Broadie, Alexander, 1942-
Udgivet: (1993)

An introduction to description logic
af: Baader, Franz, 19..-, et autres
Udgivet: (2017)

Logic : a very short introduction
af: Priest, Graham
Udgivet: (2000)

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Notes on logic
af: Lyndon, Roger Conant, 1917-1988
Udgivet: (1966)

Modal logic
af: Blackburn, Patrick, 1959-, et autres
Udgivet: (2001)

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

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

Studia logica
Udgivet: (2002)

Algebra and logic.
Udgivet: (2002)

An introduction to logic and scientific method
af: Cohen, Morris Raphael, 1880-1947, et autres
Udgivet: (1944)

Logic journal of the IGPL.
Udgivet: (1997)

The problem of inductive logic
Udgivet: (1968)

Combinatory logic.
af: Curry, Haskell Brooks, 1900-1982, et autres
Udgivet: (1972)

Fundamentals of logic
af: Smullyan, Arthur
Udgivet: (1962)

Algebraic logic
af: Halmos, Paul Richard, 1916-2006
Udgivet: (1962)

From logic design to logic programming : theorem proving techniques and P-functions
af: Snyers, Dominique, et autres

Three Views of Logic : Mathematics, Philosophy, and Computer Science
af: Loveland, Donald W., et autres
Udgivet: (2014)

Recursive function theory and logic
af: Yasuhara, Ann Harris, 1932-2014
Udgivet: (1971)

Gentzen calculi for modal propositional logic
af: Poggiolesi, Francesca, 1980-

Logic in linguistics
af: Allwood, Jens S., 1947-...., linguiste, et autres
Udgivet: (1977)

Logic for mathematicians
af: Rosser, John Barkley, 1907-1989
Udgivet: (1953)

Mathematical logic
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (1967)

Elementary logic
af: Quine, Willard Van Orman, 1908-2000, philosophe
Udgivet: (1965)

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

Journal of logic and computation.
Udgivet: (1990)

Foundations of inductive logic programming
af: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
af: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
af: Kakas, Antonis C.

© 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