Recomienda este artículo a tus amigos:
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) 1.º edición
Precio
Mex$ 3.779
sin IVA
Pedido desde almacén remoto
Entrega prevista 12 - 30 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Cantini, A. (University of Florence, Department of Philosophy, Italy)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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)
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 14 de marzo de 1996 |
| ISBN13 | 9780444823069 |
| Editores | Elsevier Science & Technology |
| Páginas | 460 |
| Dimensiones | 160 × 230 × 30 mm · 839 g |
| Lengua | Inglés |
