語系
Mostowski, Andrzej.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Undecidable theories
by:
Mostowski, Andrzej.; Robinson, Raphael M. (1911-); Tarski, Alfred.
(書目-語言資料,印刷品)
Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /
by:
Mostowski, Andrzej.
(書目-語言資料,印刷品)
Andrzej Mostowski and foundational studies
by:
Ehrenfeucht, Andrzej.; Srebrny, Marian, (1947-); Mostowski, Andrzej.; Marek, Wiktor.
(書目-語言資料,印刷品)