Treffer: Proof and disproof in formal logic

Titel:

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

Beteiligt:

Veröffentlicht:

Oxford : Oxford Univ. Press, 2005

Umfang:

XIX, 243 Seiten

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Oxford texts in logic ; 2
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

0198530269 ; 0198530277

Zusatz-Informationen