Seminar aus Logik (WS 20/21)

Thema: R. Kaye: Models of Peano Arithmetic, Oxford University Press, 1991