Conte aos seus amigos sobre este item:
Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1th edição
Cantini, A. (University of Florence, Department of Philosophy, Italy)
Preço
Fr. 162,99
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 31 de jul - 7 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1th edição
Cantini, A. (University of Florence, Department of Philosophy, Italy)
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 | English |