Ship-Ship-Hooray! Free Shipping on $25+ Details >
Language of First-Order Logic - With 3"Mac Disk

Language of First-Order Logic - With 3"Mac Disk - 3rd edition

Language of First-Order Logic - With 3"Mac Disk - 3rd edition

ISBN13: 9780937073995

ISBN10: 0937073997

Language of First-Order Logic - With 3"Mac Disk by Jon Barwise and John Etchemendy - ISBN 9780937073995
Edition: 3RD 93
Copyright: 1993
Publisher: Center for the Study of Language and Information
Published: 1993
International: No
Language of First-Order Logic - With 3"Mac Disk by Jon Barwise and John Etchemendy - ISBN 9780937073995

ISBN13: 9780937073995

ISBN10: 0937073997

Edition: 3RD 93

Summary

This complete introduction to first-order symbolic logic consists of a computer program and a text. The revised and expanded edition includes an extensive series of translation exercises to and from ordinary language, and proof exercises using ordinary language.

Top Arrow

Top