0 Mėgstami
0Krepšelis
237,14 
237,14 
2025-07-31 237.1400 InStock
Nemokamas pristatymas į paštomatus per 18-22 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

Informacija

Autorius: Johan Georg Granström
Serija: Logic, Epistemology, and the Unity of Science
Leidėjas: Springer Netherlands
Išleidimo metai: 2011
Knygos puslapių skaičius: 212
ISBN-10: 9400717350
ISBN-13: 9789400717350
Formatas: Knyga kietu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Treatise on Intuitionistic Type Theory“

Būtina įvertinti prekę

Goodreads reviews for „Treatise on Intuitionistic Type Theory“