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
$ 203,99
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 6 - 13 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 |