Advertisement

Exporting and reflecting abstract metamathematics

  • Robert L. Constable
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Robert L. Constable
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations