Plus d’un million de livres, à portée de main !
Bookbot

Higher-Order Logic and Type Theory

En savoir plus sur le livre

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.

Achat du livre

Higher-Order Logic and Type Theory, John S. Bell

Langue
Année de publication
2022
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer