Higher-Order Logic and Type Theory - Elements in Philosophy and Logic - Bell, John L. (University of Western Ontario) - Libros - Cambridge University Press - 9781108986908 - 31 de marzo de 2022
En caso de que portada y título no coincidan, el título será el correcto

Bell, John L. (University of Western Ontario)
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic New edition

Precio
$ 33,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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  

Mere med samme udgiver

Ver todo de Bell, John L. (University of Western Ontario) ( Ej. Hardcover Book y Paperback Book )