Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; New York :
Oxford University Press,
2004.
|
| Colección: | Oxford texts in logic ;
1. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (xx, 431 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 426-427) and index. |
| ISBN: | 142377079X 9781423770794 128075897X 9781280758973 0198529805 9780198529804 0198529813 9780198529811 |