Twenty Five Years of Constructive Type Theory
Twenty-Five Years of Constructive Type Theory By Giovanni Sambin, Jan M. Smith
Publisher: O U P 1998 | 296 Pages | ISBN: 0198501277 | DJVU | 2 MB
Per Martin-Lof's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science…
Education, Reform and the State: Twenty Five Years of Politics, Policy and Pract
R. Phillips, "Education, Reform and the State: Twenty Five Years of Politics, Policy and Practice"
Publisher: RoutledgeFalmer | 2001 | ISBN 0415237645 | PDF | 288 pages | 1.19 MB
Super book!!! Very good book!!!
No another mirrors, please! >>>
…
Teacher Thinking Twenty Five Years On
Kompf , "Teacher Thinking Twenty Five Years On"
Publisher: Taylor & Francis | 2003-01-01 | ISBN 9026519540 | PDF | 380 pages | 1.7 MB
The papers from the first two International Study Association on Teachers and Teaching conferences are presented in this book. They have historical value, marking a change in…
The Exploited Twenty Five Years of Anarchy and C...
Title: The Exploited - Twenty Five Years of Anarchy and Chaos
Password: keins
Links