Synthetic components of infinite classes of postulates

Springer Science and Business Media LLC - Tập 14 Số 3-4 - Trang 167-178 - 1971
Pavel Tichý

Tóm tắt

Từ khóa


Tài liệu tham khảo

P. P. Ramsey,The Foundations of Mathematics and other Logical Essays. London and New York: Humanities, 1931.

Marian, Przełęcki and Ryszard Wójcicki, The Problem of Analyticity,Synthese 19 (1968 to 1969) pp. 374–399.

Marian Przełęcki,The Logic of Empirical Theories. London: Routledge and Kegan Paul, 1969.

Joel W. Robbin,Mathematical Logic: a First Course. New York and Amsterdam: W. A. Benjamin, 1969.

Hartley Rogers, Jr.,Theory of Recursive Functions and Effective Computability. New York: McGraw-Hill, 1967.