Proof and Disproof in Formal Logic : An itroduction for programmers

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bornat, Richard (Verfasst von)
Format: Buch
Sprache:Englisch
Veröffentlicht: Oxford : Oxford University Press, 2005
Ausgabe:1. vyd.
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!