Shawn Hedman
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Paperback Engels 2004 9780198529811Levertijd ± 11 werkdagen
Gratis verzonden
Samenvatting
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.
Specificaties
ISBN13:9780198529811
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:452
Uitgever:OUP OXFORD
Hoofdrubriek:Filosofie, Computer en informatica
Serie:Oxford Texts in Logic
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan