Title Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.

Publication Info.

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (xix, 243 pages) : illustrations.
Physical Medium	polychrome
Description	text file
Series	Oxford texts in logic ; 2
	Oxford texts in logic ; 2.
Note	Includes index.
Contents	Basics -- Formal proof -- Disproof -- Proof of programs.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Evidence.
	Evidence.
	Logic, Modern.
	Logic, Modern.
Genre/Form	Electronic books.
Other Form:	Print version: Bornat, Richard, 1944- Proof and disproof in formal logic. Oxford ; New York : Oxford University Press, 2005 0198530277 0198530269 (DLC) 2005019564 (OCoLC)61179513
ISBN	142375722X (electronic book)
	9781423757221 (electronic book)
	0198530277 (Paper)