A Logical Introduction to Proof
| Egile nagusia: | Cunningham |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | English |
| Argitaratua: |
Springer New York,
2013
|
| Edizioa: | 1 |
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Springer Off-campus access |
Antzeko izenburuak
- Proofs
-
Proof
nork: Williams -
Introduction to logic /
nork: Copi, Irving M.
Argitaratua: (1986) -
Tests and Proofs
Argitaratua: (2013) -
Robot-Proof
nork: Aoun