Cover Image
Read Now

1
Published 1962
Springer Netherlands
Table of Contents: “... -- 8. Notation -- 9. Reduction Schemata -- 10. Axiomatic Method -- 11. Weak Completeness Theorems -- 12...”