设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
馆藏书目(227)
CNKI学位论文(192)
知网期刊论文(31)
万方学位论文(4)
在“
SpringerLink电子期刊
”中,
命中:
5
条,耗时:小于0.01 秒
在所有数据库中总计命中:
454
条
1.
Toward a Clarity of the Extreme Value Theorem
作者:
Karin U. Katz (1)
Mikhail G. Katz (1)
Taras Kudryk (2)
关键词:
Primary 26E35
;
Secondary 00A30
;
01A85
;
03F55
;
Benacerraf
;
Bishop
;
Cauchy
;
constructive analysis
;
continuity
;
extreme value theorem
;
grades of clarity
;
hyperreal
;
infinitesimal
;
Kaestner
;
Kronecker
;
law of excluded middle
;
ontology
;
Peirce
;
principle of unique choice
;
procedure
;
trichotomy
;
uniqueness paradigm
刊名:Logica Universalis
出版年:2014
2.
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic
作者:
Irving H. Anellis (1)
关键词:
Primary 03
;
03
;
01A
60
;
01A85
;
Secondary 03Axx
;
03B10
;
03B20
;
01A
55
;
01A
70
;
Jean van Heijenoort
;
history of logic
;
philosophy of logic
;
twentieth century
;
historiography
;
historical development of modern logic
;
classical first
;
order logic
;
subsystems of logic
刊名:Logica Universalis
出版年:2012
3.
Editor鈥檚 Introduction to Jean van Heijenoort, Historical Development of Modern Logic
作者:
Irving H. Anellis (1)
关键词:
Primary 03
;
03
;
01A
60
;
01A85
;
Secondary 03Axx
;
03B10
;
03B20
;
01A
55
;
01A
70
;
Jean van Heijenoort
;
history of logic
;
philosophy of logic
;
twentieth century
;
historiography
;
historical development of modern logic
;
classical first
;
order logic
;
subsystems of logic
刊名:Logica Universalis
出版年:2012
4.
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
作者:
Philippe de Rouilhan (1)
关键词:
03A05
;
03
;
03
;
03Cxx
;
A1A60
;
01A85
;
Jean van Heijenoort
;
philosophy of logic
;
history of logic
;
logical universalism
;
model theory
刊名:Logica Universalis
出版年:2012
5.
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
作者:
Philippe de Rouilhan (1)
关键词:
03A05
;
03
;
03
;
03Cxx
;
A1A60
;
01A85
;
Jean van Heijenoort
;
philosophy of logic
;
history of logic
;
logical universalism
;
model theory
刊名:Logica Universalis
出版年:2012
1
按检索点细分(5)
关键词(5)
按出版年细分(5)
2014年(1)
2012年(4)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.