Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

49.76 MiB

Download ready in 3s