Incompleteness and Computability: An Open Logic Text - Softcover

Book 2 of 5: Open Logic Project Textbooks

Zach, Richard

 
9781548138080: Incompleteness and Computability: An Open Logic Text

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

About the Author

Richard Zach is Professor of Philosophy at the University of Calgary

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)

Featured Edition

ISBN 10:  1077323395 ISBN 13:  9781077323391
Publisher: Independently published, 2019
Softcover