Mostowski, Andrzej.

Overview

Works:	1 works in 3 publications in 1 languages

Titles

Constructible sets with applications by: Mostowski, Andrzej. (Language materials, printed)

Undecidable theories by: Mostowski, Andrzej.; Robinson, Raphael M. (1911-); Tarski, Alfred. (Language materials, printed)

Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel / by: Mostowski, Andrzej. (Language materials, printed)

Andrzej Mostowski and foundational studies by: Ehrenfeucht, Andrzej.; Srebrny, Marian, (1947-); Mostowski, Andrzej.; Marek, Wiktor. (Language materials, printed)

Subjects

Constructibility (Set theory) Godel's theorem. Mathematicians Model theory. Logicians Semantics (Philosophy) Mathematical analysis Decidability (Mathematical logic) Logic, Symbolic and mathematical. Axiomatic set theory. Mostowski, Andrzej.