THE AXIOM OF CHOICE IN QUINE NEW FOUNDATIONS FOR MATHEMATICAL LOGIC

被引：53
作者：
SPECKER, EP
机构：
来源：
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1953年 / 39卷 / 09期
关键词：
D O I：
10.1073/pnas.39.9.972
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：972 / 975
页数：4
相关论文
共 3 条
[1]  
Quine W.V., 1937, AM MATH MON, V44, P70, DOI 10.1080/00029890.1937.11987928
[2]  
ROSSER JB, 1953, LOGIC MATH
[3]  
J SYMBOLIC LOGIC
1