The functional interpretation of logical deduction
Main Author: | Queiroz, Ruy J. G. B. de. |
---|---|
Corporate Author: | ebrary, Inc. |
Other Authors: | Oliveira, Anjolina G. de. |
Format: | Book |
Language: | English |
Published: |
Singapore :
World Scientific,
c2012.
|
Series: | Advances in logic ;
v. 5 |
Subjects: | |
Online Access: | http://site.ebrary.com/lib/ucy/Doc?id=10529392 |
Similar Items
-
Deductive logic: an introduction to evaluation techniques and logical theory/
by: Clarke, D. S., 1936-David S.
Published: (1973) -
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) -
Formal deductive logic: a logic workbook/
by: Hahn, Robert, 1952-
Published: (1998)