Jump to main content

yr 〜
yr

Search results 4

Type theory and formal proof : an introduction : hardback

Type theory and formal proof : an introduction : hardback
Paper図書
Rob Nederpelt, Herman GeuversCambridge University Press2014
Other Libraries in Japan
  • Author HeadingNederpelt, R. P. (Rob P.) Geuvers, J. H

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
Paper図書
Elsevier1994.<MA41-A92>
National Diet Library
  • Author HeadingNederpelt, R. P. (Rob P.)

A modern perspective on type theory : from its origins until today

A modern perspective on type theory : from its origins until today
Paper図書
by Fairouz Kamareddine, Twan Laan and Rob NederpeltKluwer Academicc2004
Other Libraries in Japan
  • Author HeadingKamareddine, Fairouz Laan, Twan Nederpelt, R. P. (Rob P.)

Selected papers on Automath

Selected papers on Automath
Paper図書
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van DaalenElsevier1994
Other Libraries in Japan
  • Author HeadingNederpelt, R. P. (Rob P.) Geuvers, J. H Vrijer, R. C. d...

Reached to the end of result.

RSS