Geuvers, J. H

ID:DA09057710

Alias Name

Geuvers, Herman

Search authors sharing the same name

Search Results1-2 of 2

  • Type theory and formal proof : an introduction

    Rob Nederpelt, Herman Geuvers

    Cambridge University Press 2014

    : hardback

    Available at 19 libraries

  • Selected papers on Automath

    edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen

    Elsevier 1994 Studies in logic and the foundations of mathematics v. 133

    Available at 32 libraries

Page Top