A first course in logic : an introduction to model theory, proof theory, computability, and complexity Upplaga 1
- Upplaga: 1a upplagan
- Utgiven: 2004
- ISBN: 9780198529811
- Sidor: 452 st
- Förlag: Oxford University Press
- Format: Häftad
- Språk: Engelska
Om boken
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker
Mer om A first course in logic : an introduction to model theory, proof theory, computability, and complexity (2004)
2004 släpptes boken A first course in logic : an introduction to model theory, proof theory, computability, and complexity skriven av Shawn Hedman. Det är den 1a upplagan av kursboken. Den är skriven på engelska och består av 452 sidor. Förlaget bakom boken är Oxford University Press.
Köp boken A first course in logic : an introduction to model theory, proof theory, computability, and complexity på Studentapan och spara pengar.
Referera till A first course in logic : an introduction to model theory, proof theory, computability, and complexity (Upplaga 1)
Harvard
Hedman, S. (2004). A first course in logic : an introduction to model theory, proof theory, computability, and complexity. 1:a uppl. Oxford University Press.
Oxford
Hedman, Shawn, A first course in logic : an introduction to model theory, proof theory, computability, and complexity, 1 uppl. (Oxford University Press, 2004).
APA
Hedman, S. (2004). A first course in logic : an introduction to model theory, proof theory, computability, and complexity (1:a uppl.). Oxford University Press.
Vancouver
Hedman S. A first course in logic : an introduction to model theory, proof theory, computability, and complexity. 1:a uppl. Oxford University Press; 2004.
citeproc-js implements the Citation Style Language. (c) Frank Bennett. Licenser och källkod.
