Image from Amazon.com
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.
Material type:
TextSeries: Oxford texts in logic ; 2Publication details: Oxford ; New York Oxford University Press, 2005.Description: xix, 243 p. : ill. ; 25 cmISBN: - 0198530277 (alk. paper)
- 0198530269 (alk. paper)
- 160 22
- BC173 .B67 2005
Contents:
Basics -- Formal proof -- Disproof -- Proof of programs.
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Book
|
Ahmedabad | 160.22 (Browse shelf(Opens below)) | Available | 160282 |
Total holds: 0
Browsing Ahmedabad shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
No cover image available |
|
||
| 160 W4T7 Tractatus logico-philosophicus | 160.18 C6I6 An introduction to logic and scientific method | 160.22 Possibilities and paradox : | 160.22 Proof and disproof in formal logic : | 160.2854 S2L6 Logic:a computer approach | 160.4 Q8F7 From a logical point of view: 9 logico-philosophical essays | 160.901 B2T7 Truth, etc.: six lectures on ancient logic |
Includes index.
Basics -- Formal proof -- Disproof -- Proof of programs.
There are no comments on this title.
Log in to your account to post a comment.