Loading…
A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
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 ide...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Oxford ; New York :
Oxford University Press,
2004.
|
| Series: | Oxford texts in logic ;
1. |
| Subjects: | |
| Online Access: | Texto completo |