Klaus Grue

Klaus Grue

Emeritus


Publication year:
All
1 - 1 out of 1Page size: 10
  1. 2001
  2. Published

    Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305

    Grue, Klaus, 2001, Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers, p. 289-314

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

ID: 283753155