Back to the bookshelf

Introduction to Metamathematics

Stephen Cole Kleene

1 reader recommends it across 1 discussion

Mathematics Philosophy mathematical logic metamathematics

Understand a subject

Reader recommendations

lanstinJun 26, 2021

Metamathematics by Kleene. On Lisp by Graham. The Visual Display of Quantitative Information by Tufte.

Also recommended in this reply

Read comment Books from this discussion: Ask HN: Which book or course gave you an unfair advantage?