Search alternatives:
peter aczel » petra aczel, peter ackers, peter arrell
Cover Image
Read Now

1
Published 2011
Springer Netherlands
Table of Contents: “... Categorical Foundations of Mathematics -- Part IV: Foundations of constructive mathematics Peter Aczel, Local...”
Cover Image
Read Now

2
Published 2011
Springer Netherlands
“... of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
“... to the Logic of Rules” by Jean-Yves Girard, and “The Varieties of Type Theories” by Peter Aczel. The contents...”