An introduction to Godel's theorems - Smith, Peter, 1944- ([Cambridge] : Logic matters, 2020)
Keywords: Gödelovy věty; Gödel’s theorems; monografie; monographs