First-order logic an introduction
Main Author: | Causman, Leigh S. |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin;New York
Walter de Gruyter
1998
|
Subjects: |
Similar Items
-
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996) -
The languages of logic an introduction to formal logic
by: Guttenplan, Samuel D.
Published: (1997) -
Logical forms an introduction to philosophical logic
by: Sainbury, Mark
Published: (1991) -
Introduction to logic
by: Copi, Irving M.
Published: (1994) -
Logic with trees an introduction to symbolic logic
by: Howson, Colin
Published: (1997)