Related Books

Reports of the Midwest Category Seminar III
Language: en
Pages: 255

Reports of the Midwest Category Seminar III

Authors: S. MacLane
Categories: Mathematics
Type: BOOK - Published: 2006-11-22 - Publisher: Springer

DOWNLOAD EBOOK

Points on Quantum Projectivizations
Language: en
Pages: 154

Points on Quantum Projectivizations

Authors:
Categories:
Type: BOOK - Published: - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

Twenty Five Years of Constructive Type Theory
Language: en
Pages: 292

Twenty Five Years of Constructive Type Theory

Authors: Giovanni Sambin
Categories: Mathematics
Type: BOOK - Published: 1998-10-15 - Publisher: Clarendon Press

DOWNLOAD EBOOK

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. I
Paperbound Books in Print
Language: en
Pages: 1696

Paperbound Books in Print

Authors:
Categories: Paperbacks
Type: BOOK - Published: 1983 - Publisher:

DOWNLOAD EBOOK

Serial Publications in the University of Iowa Libraries
Language: en
Pages: 1402

Serial Publications in the University of Iowa Libraries

Authors: University of Iowa. Libraries
Categories: Periodicals
Type: BOOK - Published: 1972 - Publisher: Iowa City : University of Iowa

DOWNLOAD EBOOK