Logic : :: SCD d'Orléans

Logic : an introduction

Logic : an introduction

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Restall, Greg, 1969-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	London ; New York : Routledge [20..].
Fag:	Logique
Online adgang:	Accès Université Orléans et IFPM Accès INSA CVL
Kommentar:	Description d'après la consultation du 2015-06-08 Titre provenant de l'écran titre Mise en ligne du texte intégral de l édition de : Londres, New York : Routledge, 2006 La pagination de l'édition imprimée correspondante est de : 176 pages Fundamentals of philosophy Cyberlibris (ScholarVox) Corpus Philosophie Book Collection (EBSCOhost)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic, an introduction, Greg Restall, London, Routledge, 2006, 1 vol. (XIII-225 p.), Fundamentals of philosophy, 0-415-40067-8

Lignende værker

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

Introduction to logic
af: Suppes, Patrick, 1922-2014
Udgivet: (1957)

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)

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)

Studia logica
Udgivet: (2002)

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

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

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)

Algebra and logic.
Udgivet: (2002)

Logic journal of the IGPL.
Udgivet: (1997)

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

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

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)

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

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)

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.

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)

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
af: Voronkov, Andrei, 1959-

Reasoning with logic programming
af: Alferes, José Júlio, 1966-, et autres

Learning language in logic
af: Cussens, James, 1965-

© 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