Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory..

Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory..

USD 150.00 USD
SKU: rEmVYSBa
GTIN: 9090244557
Condition: Very Good
Categories: Books & Magazines

Specifications

AuthorRussell O'Connor
LanguageEnglish
FormatSoftcover
ISBN9090244557

The relationships in this novel are drawn with incredible nuance.

Related Items