Cover Image
Read Now

1
Published 2016
Cambridge University Press
“... model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial...”