Cover Image
Read Now

1
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: “... Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS...”