The logical structure of computer-aided mathematical reasoning

被引：8
作者：
Devlin, K
机构：
[1] STANFORD UNIV,CTR STUDY LANGUAGE & INFORMAT,STANFORD,CA 94305
[2] UNIV PITTSBURGH,DEPT INFORMAT SCI,PITTSBURGH,PA 15260
来源：
AMERICAN MATHEMATICAL MONTHLY | 1997年 / 104卷 / 07期
关键词：
D O I：
10.2307/2975057
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：632 / 646
页数：15
相关论文
共 8 条
[1]  
[Anonymous], 1994, HYPERPROOF
[2]  
BARWISE J, 1990, CSLI LECT NOTES, V22
[3]  
Barwise Jon., 1983, Situations and Attitudes
[4]  
CASTI J, 1996, SCI AM OCT, P102
[5]  
DEVLIN K, 1991, LOGIC INFORMATION
[6]  
DEVLIN K, 1997, GOODBYE DESCARTES EN
[7]  
POPPER KR, 1993, CONJECTURES REFUTATI
[8]  
VAN DALEN D., 1980, Logic and Structure.
1