Proof and Disproof in Formal Logic : An itroduction for programmers
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Oxford :
Oxford University Press,
2005
|
| Edizione: | 1. vyd. |
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Descrizione fisica: | 243 s |
|---|---|
| ISBN: | 0-19-853027-7 |