Logic, Language, Information, and Computation
Springer, Berlin, Heidelberg
Chapter title |
Computable Quotient Presentations of Models of Arithmetic and Set Theory
|
---|---|
Chapter number | 10 |
Book title |
Logic, Language, Information, and Computation
|
Published in |
Lecture notes in computer science, June 2017
|
DOI | 10.1007/978-3-662-55386-2_10 |
Book ISBNs |
978-3-66-255385-5, 978-3-66-255386-2
|
Authors |
Michał Tomasz Godziszewski, Joel David Hamkins, Godziszewski, Michał Tomasz, Hamkins, Joel David |