Politics & Social Sciences | Political Philosophy
History and Philosophy of Constructive Type Theory
by Giovanni Sommaruga 2020-05-30 19:11:11
image1
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
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.21 X 6.14 X 0 in
  • 377
  • Springer Netherlands
  • July 31, 2000
  • English
  • 9789401593939
autor-image
Giovanni Sommaruga
Author
...
Compare Prices
image
Buy CAD 296.84
image
Hard Cover
Buy CAD 285.95
image
Buy GBP 209.0
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
The Writings of Abraham Lincoln - Volume 2: 1843-1858:
image1
Bolshevism: The Enemy of Political and Industrial Democracy:
image1
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates:
image1
The Mind in the Making: The Relation of Intelligence to Social Reform:
image1
The Critique of Practical Reason:
image1
Writings of Thomas Paine - Volume 2: The Rights of Man:
image1
Creative Evolution:
image1
Literary and Philosophical Essays: French, German and Italian:
image1
Essays in Rebellion:
image1
Alcibiades II:
image1
An Essay Concerning Human Understanding Volume 2:
image1
The Papers and Writings of Abraham Lincoln, Vol-IV:
image1
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):
image1
The Papers and Writings of Abraham Lincoln (Volume 7):
image1
The Papers and Writings of Abraham Lincoln (Volume 5):
image1
The Papers and Writings of Abraham Lincoln - Volume 6:
image1
Native Life in South Africa: Before and Since the European War and the Boer Rebellion:
image1
According to Plato:
image1
Dialogues Concerning Natural Religion:
image1
The New Freedom a Call for the Emancipation of the Generous Energies of a People:
image1
Emile: Or, Concerning Education Extracts:
image1
Under the Prophet in Utah: The National Menace of a Political Priestcraft:
image1
Anarchism And Other Essays:
image1
The Woman and the Right to Vote:
image1
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843:

Stay in touch.

© 2024 AMPLE READS