Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics - Cantini, A. (University of Florence, Department of Philosophy, Italy) - Livros - Elsevier Science & Technology - 9780444823069 - 14 de março de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Cantini, A. (University of Florence, Department of Philosophy, Italy)
Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1º edição

Preço
R$ 1.098,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 8 de out
Receba avisos sobre novos lançamentos de Cantini, A. (University of Florence, Department of Philosophy, Italy)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

460 pages

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 14 de março de 1996
ISBN13 9780444823069
Editoras Elsevier Science & Technology
Páginas 460
Dimensões 160 × 230 × 30 mm   ·   839 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Cantini, A. (University of Florence, Department of Philosophy, Italy)