Logic : :: SCD d'Orléans

Logic : a very short introduction

Logic : a very short introduction

Guardat en:

Dades bibliogràfiques
Autor principal:	Priest, Graham
Format:	Livre papier
Idioma:	Anglais
Publicat:	Oxford ; New York ; Auckland [etc.] : Oxford university press 2000.
Col·lecció:	Very short introductions 29
Matèries:	Logique
Autres localisations:	Voir dans le Sudoc

Ítems similars

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

Introduction to logic
per: Suppes, Patrick, 1922-2014
Publicat: (1957)

Introduction to logic.
per: Copi, Irving M.
Publicat: (1961)

An introduction to modal logic
per: Hughes, George Edward, 1918-, et al.
Publicat: (1968)

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

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

Studia logica
Publicat: (2002)

Introduction to combinatory logic
per: Hindley, James Roger, 1939-, et al.
Publicat: (1972)

An introduction to substructural logics
per: Restall, Greg, 1969-
Publicat: (2000)

Introduction to mathematical logic.
per: Church, Alonzo, 1903-1995
Publicat: (1956)

Introduction to mathematical logic
per: Mendelson, Elliott, 1931-2020
Publicat: (1964)

An introduction to formal logic
per: Smith, Peter J, 1944-
Publicat: (2003)

Algebra and logic.
Publicat: (2002)

Logic journal of the IGPL.
Publicat: (1997)

Introduction to medieval logic
per: Broadie, Alexander, 1942-
Publicat: (1993)

An introduction to description logic
per: Baader, Franz, 19..-, et al.
Publicat: (2017)

The problem of inductive logic
Publicat: (1968)

Combinatory logic.
per: Curry, Haskell Brooks, 1900-1982, et al.
Publicat: (1972)

Fundamentals of logic
per: Smullyan, Arthur
Publicat: (1962)

Algebraic logic
per: Halmos, Paul Richard, 1916-2006
Publicat: (1962)

Modal logic
per: Blackburn, Patrick, 1959-, et al.
Publicat: (2001)

From logic design to logic programming : theorem proving techniques and P-functions
per: Snyers, Dominique, et al.

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

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

Logic in linguistics
per: Allwood, Jens S., 1947-...., linguiste, et al.
Publicat: (1977)

Logic for mathematicians
per: Rosser, John Barkley, 1907-1989
Publicat: (1953)

Mathematical logic
per: Shoenfield, Joseph Robert, 1927-2000
Publicat: (1967)

Elementary logic
per: Quine, Willard Van Orman, 1908-2000, philosophe
Publicat: (1965)

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

Journal of logic and computation.
Publicat: (1990)

Foundations of inductive logic programming
per: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

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

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

Mathematical logic : a first course
per: Robbin, Joel W.
Publicat: (1969)

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

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

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

Program development in computational logic : a decade of research advances in logic-based program development
per: Bruynooghe, Maurice

© 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