Unvollstandigkeit und unentscheidbarkeit - Stegmuller Wolfgang (Wien Springer-Verlag, 1959)
Keywords: Mathematical logic; Symbolic logic