Издательство Taylor&Francis по теме "03B25"
Отображаемые элементы 1-1 из 1
-
(Taylor & Francis Group, 1984-01-01)The theorems of a first order theory can be partially ordered according to their strength. As a Consequence of two famous theorems of Gödel. the order turns out to be dense. This consequence is either disastrous or amusing, ...
Отображаемые элементы 1-1 из 1