Publisher's Synopsis
This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.
Hardback (30 Nov 1989)
Not available for sale
Out of stock
This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.
ISBN: | 9783764334536 |
Publisher: | Birkhauser Verlag AG |
Imprint: | Birkhauser Verlag AG |
Pub date: | 30 Nov 1989 |
DEWEY: | 511.3 |
Language: | English |
Number of pages: | 184 |
Weight: | -1g |
Height: | 235mm |
Width: | 155mm |