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) - Livros - Oxford University Press - 9780198529811 - 8 de julho de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 808,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Hedman, Shawn (Department of Mathematics, Florida Southern College)
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de julho de 2004
ISBN13 9780198529811
Editoras Oxford University Press
Páginas 452
Dimensões 172 × 244 × 22 mm   ·   752 g
Idioma Inglês  

Mais da mesma editora