TY  - BOOK
AU  - Lindstrom,Per
TI  - Aspects of incompleteness
T2  - Lecture notes in logic
SN  - 9781107167926
U1  - 511.3 20
PY  - 2016///
CY  - Cambridge
PB  - Cambridge Uni Pr
KW  - Mathematics
KW  - Incompleteness theorems
KW  - Recursion theory
ER  -