user
0
Su pedido

Tu pedido

Su carro de la compra está vacío

Materias

A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity

A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity

Compartir en:

(0 Comentarios)
Comenta y valora este libro

pvp.176,50 €

Sin Stock. Posibilidad entre 11 y 20 dias

  • ISBN:9780198529804
  • Editorial: Oxford University Press
  • Fecha de la edición:
  • Encuadernación:Tapa dura
  • Dimensiones: 168 cm x 240 cm
  • Nº Pág.:452
  • Idiomas:Ingles,Inglés

Materias:

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.

1. Propositional logic.
2. Structures and first-order logic.
3. Proof theory.
4. Properties of the first-order logic.
5. First-order theories.
6. Models of countable theories.
7. Computability and complexity.
8. The imcompleteness theorems.
9. Beyond first-order logic.
10. Finite model theory.

Otros libros de Economía Cuantitativa