Incompleteness and Computability An Open Logic Text

Name: Incompleteness and Computability
ISBN: 9781548138080

A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.