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

Author
Richard Bornat
Publisher
Oxford University Press, USA
Language
English
Year
2005
Page
264
ISBN
0198530269,9780198530268,0198530277,9780198530275
File Type
pdf
File Size
5.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book