Proof and Disproof in Formal Logic: An Introduction for Programmers

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

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book