Bornat - Proof and Disproof in Formal Logic

Proof and Disproof in Formal Logic

Bornat

ISBN: 9780198530275
Vydavatelství: Oxford UP
Rok vydání: 2005
Dostupnost: Na objednávku

Původní cena: 0 Kč
Cena: Na vyžádání

Nárok na dopravu zdarma
Přidat do wishlistu
Zpět Tisknout Pošli poptávku
This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims.