Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathema

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Theorem Proving with the Real Numbers (Distinguished Dissertations) by

Texts in Theoretical Computer Science. an EATCS Ser.: Universal Artificial...

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

Introduction to Calculus and Analysis Vol 1 Courant John Hardcover 1965

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...