Matematisk logik
Se alle bogdetaljer →
Deduction
Introductory Symbolic Logic
Udgivet af John Wiley and Sons Ltd
ISBN
9780631227137
Om denne bog
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.
Boghandelspriser
| Boghandel | Titel | Format | ISBN | Pris | Lagerstatus | Levering | |
|---|---|---|---|---|---|---|---|
Ingen boghandelstilbud endnuVi har titlen i kataloget. Priser vises her, når boghandlere lister den. |
|||||||
5
0
4
0
3
0
2
0
1
0
0%
Anbefaler
0
Verificeret
Ingen anmeldelser endnu
Bogdetaljer
Forfatter
Daniel Bonevac
Forlag
John Wiley and Sons Ltd
Kategori
Matematisk logik
ISBN-13
9780631227137
EAN
9780631227137
Format
Hæftet
Sprog
Engelsk
sider
528
Undertitel
- Introductory Symbolic Logic
Produktbeskrivelse
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.
Prishistorik
Indlæser prishistorik...