Politics & Social Sciences | Political Philosophy

History and Philosophy of Constructive Type Theory

by Giovanni Sommaruga

2020-05-30 22:41:11

Compare Price
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly c... Read more
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory. Less

Book Details

File size9.21 X 6.14 X 0 in
Print pages377
PublisherSpringer Netherlands
Publication date July 31, 2000
LanguageEnglish
ISBN9789401593939
autor-image
Giovanni Sommaruga
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 296.84
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 285.95
eBooks.com In Stock Buy GBP 209.0
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 296.84
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 285.95
eBooks.comIn Stock
Format
Condition
Buy GBP 209.0
Available Discount
No Discount available

Related Books

View All
FREE
The Writings of Abraham Lincoln - Volume 2: 1843-1858
☆ ☆ ☆ ☆ ☆
FREE
According to Plato
☆ ☆ ☆ ☆ ☆
FREE
Thoughts on the Necessity of Improving the Condition of the Slaves in the British Colonies: With a View to Their Ultimate Emancipation and on the ... Of the Latter Measure (Classic Reprint)
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln - Volume 6
☆ ☆ ☆ ☆ ☆
FREE
Alcibiades II
☆ ☆ ☆ ☆ ☆
FREE
Creative Evolution
☆ ☆ ☆ ☆ ☆
FREE
Bolshevism: The Enemy of Political and Industrial Democracy
☆ ☆ ☆ ☆ ☆
FREE
Emile: Or, Concerning Education Extracts
☆ ☆ ☆ ☆ ☆
FREE
Anarchism And Other Essays
☆ ☆ ☆ ☆ ☆
FREE
An Essay Concerning Human Understanding Volume 2
☆ ☆ ☆ ☆ ☆
FREE
Under the Prophet in Utah: The National Menace of a Political Priestcraft
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln (Volume 5)
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843
☆ ☆ ☆ ☆ ☆
FREE
Dialogues Concerning Natural Religion
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln (Volume 7)
☆ ☆ ☆ ☆ ☆
FREE
The Woman and the Right to Vote
☆ ☆ ☆ ☆ ☆
FREE
Native Life in South Africa: Before and Since the European War and the Boer Rebellion
☆ ☆ ☆ ☆ ☆
FREE
The Mind in the Making: The Relation of Intelligence to Social Reform
☆ ☆ ☆ ☆ ☆
FREE
Literary and Philosophical Essays: French, German and Italian
☆ ☆ ☆ ☆ ☆
FREE
The Critique of Practical Reason
☆ ☆ ☆ ☆ ☆
FREE
The New Freedom a Call for the Emancipation of the Generous Energies of a People
☆ ☆ ☆ ☆ ☆
FREE
Writings of Thomas Paine - Volume 2: The Rights of Man
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln, Vol-IV
☆ ☆ ☆ ☆ ☆
FREE
Essays in Rebellion
☆ ☆ ☆ ☆ ☆
FREE
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS