1
by Velupillai, K. Vela
Published 2011
Edward Elgar Pub. Ltd
Subjects: ...Economics, Mathematical...

2
by Macintyre, Angus
Published 1978
North Holland Pub. Co.
Table of Contents: ... theory of well-ordering -- a metamathematical study; Chapter 2. The type theoretic interpretation...

3
by Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.
Table of Contents: ...; Chapter 1. Countable Boolean fields and their application to general metamathematics; Chapter 2...