Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Livres - Springer - 9789400736399 - 3 août 2013
Si la couverture et le titre ne correspondent pas, le titre est correct.

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Johan Georg Granstrom

Connectez-vous pour être averti lorsque le produit est à nouveau disponible.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

198 pages, 8 black & white tables, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 3 août 2013
ISBN13 9789400736399
Éditeurs Springer
Pages 212
Dimensions 156 × 234 × 11 mm   ·   303 g
Langue et grammaire English   German   Greek   Latin  

Voir tous les Johan Georg Granstrom ( par ex. Hardcover Book et Paperback Book )