Delivery included to the United States

Logic for Computer Scientists

Logic for Computer Scientists - Progress in Computer Science S.

Hardback (30 Nov 1989)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

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.

Book information

ISBN: 9783764334536
Publisher: Birkhauser Verlag AG
Imprint: Birkhauser Verlag AG
Pub date:
DEWEY: 511.3
Language: English
Number of pages: 184
Weight: -1g
Height: 235mm
Width: 155mm