Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Deduction
- Introductory Symbolic Logic
Engelsk Paperback
Se mere i:
Deduction
- Introductory Symbolic Logic
Engelsk Paperback

401 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

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.
Product detaljer
Sprog:
Engelsk
Sider:
528
ISBN-13:
9780631227137
Indbinding:
Paperback
Udgave:
2
ISBN-10:
063122713X
Kategori:
Udg. Dato:
13 sep 2002
Længde:
28mm
Bredde:
231mm
Højde:
150mm
Forlag:
John Wiley and Sons Ltd
Oplagsdato:
13 sep 2002
Forfatter(e):
Ofte købt sammen
Minder om
Kategori sammenhænge