Showing
1 - 6
results of
6
Skip to content
語言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
檢索
高級檢索
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
主題:
Remove Filter
Constructive mathematics
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
主題:
Remove Filter
Constructive mathematics
檢索結果
檢索結果
Showing
1 - 6
results of
6
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
導出
打印
選擇頁
Select result number 1
1
載入...
Phenomenology, logic, and the philosophy of mathematics /
由
Tieszen, Richard L., 1951-2017
出版 2005
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
Select result number 2
2
載入...
Constructibility and mathematical existence /
由
Chihara, Charles S., 1932-
出版 1990
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
Select result number 3
3
載入...
Bounded arithmetic, propositional logic, and complexity theory /
由
Krajíček, Jan
出版 1995
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
Select result number 4
4
載入...
Fine structure and iteration trees /
由
Mitchell, William J.
,
Steel, J. R. (John R.), 1948-
出版 2016
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
Select result number 5
5
載入...
Predicative Arithmetic. (MN-32).
由
Nelson, Edward, 1932-
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
Select result number 6
6
載入...
From perturbative to constructive renormalization /
由
Rivasseau, Vincent, 1955-
出版 1991
索引號:
載入...
位於:
載入...
獲取全文
Licensed eBooks
QR Code
Standalone Record
導出
打印
選擇頁
檢索工具:
得到RSS訂閱
Back
Refine Results
Page will reload when a filter is selected or excluded.
格式
Licensed eBooks
6 results
6
Collection
EBSCO eBooks
4 results
4
JSTOR eBooks
2 results
2
索引號
500 - Natural sciences and mathematics
6 results
6
作者
Cambridge University Press
1 results
1
Chihara, Charles S., 1932-
1 results
1
Krajíček, Jan
1 results
1
Mitchell, William J.
1 results
1
Nelson, Edward, 1932-
1 results
1
Rivasseau, Vincent, 1955-
1 results
1
Steel, J. R. (John R.), 1948-
1 results
1
Tieszen, Richard L., 1951-2017
1 results
1
查看所有...
主題
Constructive mathematics
Mathématiques constructives
6 results
6
MATHEMATICS
5 results
5
General
4 results
4
Logic, Symbolic and mathematical
2 results
2
Logique symbolique et mathématique
2 results
2
Mathematics
2 results
2
Mathématiques
2 results
2
Philosophie
2 results
2
Philosophy
2 results
2
Arithmetic
1 results
1
Arithmétique
1 results
1
Complexité de calcul (Informatique)
1 results
1
Computational complexity
1 results
1
Constructieve wiskunde
1 results
1
Energy
1 results
1
Fenomenologie
1 results
1
Filosofia da matemática
1 results
1
Filosofie
1 results
1
Filosofie van de wiskunde
1 results
1
History & Philosophy
1 results
1
Infinity
1 results
1
Intuitionistic mathematics
1 results
1
Logic
1 results
1
Logica
1 results
1
Lógica matemática
1 results
1
Matemática construtiva
1 results
1
Mathématiques intuitionnistes
1 results
1
Mechanics
1 results
1
Ontologie (filosofie)
1 results
1
查看所有...
語言
英语
6 results
6
流派
Electronic books
2 results
2
出版商
Cambridge University Press,
3 results
3
Princeton University Press
2 results
2
Clarendon Press ; Oxford Univ. Press,
1 results
1
出版年
來自:
到: