Pastāsti draugiem par šo preci:
Deduction: Introductory Symbolic Logic Bonevac, Daniel (University of Texas, Austin) 2. izdevums
Deduction: Introductory Symbolic Logic
Bonevac, Daniel (University of Texas, Austin)
Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
528 pages, 0
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2002. gada 13. septembris |
| ISBN13 | 9780631227137 |
| Izdevēji | John Wiley and Sons Ltd |
| Lapas | 528 |
| Izmēri | 231 × 150 × 28 mm · 708 g |
| Valoda | Angļu |