Discover

Find your next great read

Not in our catalog yet

We didn't find that in our catalog, but here's what we know:

M

Metamathematics

Stephen Cole Kleene

A comprehensive introduction to the mathematical study of mathematics itself, covering formal systems, recursive functions, and Gödel's incompleteness theorems. This classic text explores the foundations of mathematical logic and the limits of formal mathematical systems.