First-order logic an introduction
Κύριος συγγραφέας: | Causman, Leigh S. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin;New York
Walter de Gruyter
1998
|
Θέματα: |
Παρόμοια τεκμήρια
-
First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996) -
The languages of logic an introduction to formal logic
ανά: Guttenplan, Samuel D.
Έκδοση: (1997) -
Logical forms an introduction to philosophical logic
ανά: Sainbury, Mark
Έκδοση: (1991) -
Introduction to logic
ανά: Copi, Irving M.
Έκδοση: (1994) -
Logic with trees an introduction to symbolic logic
ανά: Howson, Colin
Έκδοση: (1997)