Suggested Topics within your search.
Suggested Topics within your search.
1
2
Table of Contents: ';
“...Preface -- Acknowledgments -- Introduction -- I. Background -- Preliminaries -- Computability...”
Get full text
Get full text
Electronic
3
4
Published 2013
Table of Contents: ';
“... Machines and Computability Theory in Isabelle/HOL.-A Machine-Checked Proof of the Odd Order Theorem...”Get full text
Electronic