Maybe somebody knows where one can freely download the following
books:
1) Verena Huber-Dyson. Godel's Theorems; a workbook on Formalization
2) Richard Kaye. Models of Peano Arithmetic
3) Chen Chung Chang, H. Jerome Keisler. Model theory
?
Thanks in advance,
Sergei Tropanets
What makes you think you can?
--
Pigeons were widely suspected of secret intercourse with the
enemy; counter-measures included the use of British birds of
prey to intercept suspicious pigeons in mid-air.
Christopher Andrew, 'Defence of the Realm', Allen Lane