Proof and Disproof in Formal Logic : An itroduction for programmers

Salvato in:
Dettagli Bibliografici
Autore principale: Bornat, Richard (Autore)
Natura: Libro
Lingua:inglese
Pubblicazione: Oxford : Oxford University Press, 2005
Edizione:1. vyd.
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!