Cover Image
Read Now

1
by Anglin, W.S., Lambek, J.
Published 1995
Springer New York
Table of Contents: “... Intuitionistic Type Theory -- 28 Gödel’s Theorems -- 29 Proof of Gödel’s Incompleteness Theorem -- 30 More about...”