Top 1200 proof PDF Book Page 43

book image

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

A.Kino, J.Myhill, R.E.Vesley (eds.)
·500 Pages
·1970
·15.472 MB

book image

The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

Armand Puccetti (auth.), Armand Puccetti (eds.)
·349 Pages
·1991
·8.304 MB

1
424344
50