MATHEMATICAL FOUNDATIONS FOR MATHEMATICS

被引：2

作者：

HENKIN, L

机构：

来源：

关键词：

D O I：

10.2307/2317752

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：463 / &

共 23 条

[11]

KARP CR, 1964, STUDIES LOGIC

[12]

Keisler H.J., 1964, FUND MATH, V53, P225

[13]

KLEENE SC, 1952, INTRODUCTION METAMAT

[14] MEASURABLE CARDINALS AND CONTINUUM HYPOTHESIS [J].

LEVY, A ;

SOLOVAY, RM .

[15]

Montague R., 1959, FUND MATH, V47, P219

[16]

Mostowski A., 1965, ACTA PHILOS FENN, V17, P1

[17]

ROBINSON A, 1963, STUDIES LOGIC

[18]

Tarski Alfred, 1951, DECISION METHOD ELEM

[19]

Tarski Alfred, 1956, LOGIC SEMANTICS META

[20]

VANHEIJENOORT, 1967, FROM FREGE GODEL SOU