Deductive logic and descriptive language

Main Author:	Harrison, Frank
Format:	Book
Language:	English
Published:	Englewood Cliffs: Prentice-Hall, 1969
Subjects:	Logic

Similar Items

Deductive logic: an introduction to evaluation techniques and logical theory/
by: Clarke, D. S., 1936-David S.
Published: (1973)

The functional interpretation of logical deduction
by: Queiroz, Ruy J. G. B. de.
Published: (2012)

Deduction : automated logic /
by: Bibel, W., 1938-
Published: (1993)

Deduction: introductory symbolic logic/
by: Bonevac, Daniel A., 1955-
Published: (2002)

Deduction: automated logic/
by: Bibel, Wolfgang, 1938-
Published: (1993)

New puzzles in logical deduction/
by: Summers, George J.
Published: (1968)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Deductive databases and logic programming
by: Das, Subrata Kumar
Published: (1992)

Formal deductive logic: a logic workbook/
by: Hahn, Robert, 1952-
Published: (1998)

Foundations of deductive databases and logic programming /
Published: (1988)

Introduction to logic and to the methodology of deductive sciences/
by: Tarski, Alfred, 1901-1983
Published: (1965)

Labelled deduction /
Published: (2000)

Foundations of deductive databases and logic programming/
Published: (1988)

From modal logic to deductive databases : introducing a logic based approach to artificial intelligence /
Published: (1960)

Deduction methodologies /
Published: (1994)

Automated deduction in multiple-valued logics/
by: Hahnle, Reiner
Published: (1993)

Deduction and declarative programming/
by: Padawitz, Peter, 1953-
Published: (1992)

Description logic rules /
by: Krθotzsch, Markus.

Languages of Logic : introduction to formal logic
by: Cuttenplan, Samuel D.
Published: (1986)

Logic and language
by: Dean, Neville.
Published: (2003)

The languages of logic: an introduction to formal logic/
by: Guttenplan, Samuel D.
Published: (1997)

Propositional logic : deduction and algorithms /
by: Buning, Hans Kleine
Published: (1999)

Propositional logic : deduction and algorithms /
by: Kleine Buning, Hans
Published: (1999)

Understanding natural deduction: a formalist approach to introductory logic/
by: Kozy, John
Published: (1974)

Explanation, causation, and deduction/
by: Wilson, Fred, 1937-
Published: (1985)

The description logic handbook : theory, implementation, and applications /
Published: (2007)

The description logic handbook theory, implementation, and applications /
Published: (2003)

The logic of natural language/
by: Sommers, Frederic Tamler, 1923-
Published: (1982)

Language, proof, and logic/
by: Barwise, Jon
Published: (2002)

Logic and language (second series): essays/
Published: (1973)

Automated deduction : a basis for applications /
Published: (1995)

Logical syntax of language/
by: Carnap, Rudolf, 1891-1970
Published: (2001)

Logic, language and computation/
Published: (1996)

The Deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Pragmatic versus syntactic approaches to deductive reasoning/
by: Βαλανίδης, Νικόλαος

The Shaping of deduction in greek mathematics : a study in cognitive history /
by: Netz, Reviel
Published: (1999)

The logic of language
by: Seuren, Pieter A. M.
Published: (2010)

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

Logic, language and computation/
Published: (1996)

The logical syntax of language/
by: Carnap, Rudolf, 1891-1970
Published: (1937)

Cannot write session to /tmp/vufind_sessions/sess_e6fp8giufk5e384inenvbcnf05