Recomienda este artículo a tus amigos:
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic Bell, John L. (University of Western Ontario) New edition
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Bell, John L. (University of Western Ontario)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic
Bell, John L. (University of Western Ontario)
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
75 pages, Worked examples or Exercises; Worked examples or Exercises
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 31 de marzo de 2022 |
| ISBN13 | 9781108986908 |
| Editores | Cambridge University Press |
| Páginas | 88 |
| Dimensiones | 228 × 152 × 8 mm · 148 g |
| Lengua | Inglés |
