TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY by SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL ISBN 0198501277

From Student Book World

Contents 1 TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY 1.1 Book Details 1.1.1 Title 1.1.2 Author 1.1.3 ISBN 1.1.4 Published 1.1.5 Publisher 1.1.6 Binding 1.1.7 Retail Price 1.1.8 Typical Price Online 2 Buy Book Online

[edit] TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

[edit] Book Details

[edit] Title

TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY

[edit] Author

SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL

[edit] ISBN

0198501277

[edit] Published

15/10/1998

[edit] Publisher

Oxford University Press

[edit] Binding

hardback

[edit] Retail Price

39 (GBP)

[edit] Typical Price Online

39 (GBP)

[edit] Buy Book Online

If you wish to purchase TWENTY FIVE YEARS OF CONSTRUCTIVE TYPE THEORY, written by SMITH, JAN (PROFESSOR, DEPARTMENT OF COMPUTING SCIENCE, CHAL and published by Oxford University Press on 15/10/1998 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 0198501277 BUY NOW