A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Oxford Texts in Logic - Hedman, Shawn (Department of Mathematics, Florida Southern College) - Libros - Oxford University Press - 9780198529811 - 8 de julio de 2004
En caso de que portada y título no coincidan, el título será el correcto

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Oxford Texts in Logic

Precio
$ 145,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.
Añadir a tu lista de deseos de iMusic

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.


452 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de julio de 2004
ISBN13 9780198529811
Editores Oxford University Press
Páginas 452
Dimensiones 172 × 244 × 22 mm   ·   752 g
Lengua Inglés  

Mere med samme udgiver