Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic) - Hardcover

Bornat, Richard

 
9780198530268: Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
Hardcover
ISBN 10: 0198530269 ISBN 13: 9780198530268
Publisher: OUP Oxford, 2005

Synopsis

Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.

"synopsis" may belong to another edition of this title.

Review

The text is written in a reasonably informal but sufficiently precise manner and, moreover, it is very lively. (EMS Newsletter)

Synopsis

Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is an introduction to formal logic and provides an insight into how a simple logic works.

"About this title" may belong to another edition of this title.

Publisher
OUP Oxford
Publication date
2005
Language
English
ISBN 10 
0198530269
ISBN 13 
9780198530268
Binding
Hardcover
Number of pages
264

Other Popular Editions of the Same Title

9780198530275: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Featured Edition

ISBN 10:  0198530277 ISBN 13:  9780198530275
Publisher: Oxford University Press, 2005
Softcover