募捐 9月15日2024 – 10月1日2024 关于筹款
2
Tetrabiblos

Tetrabiblos

Claudius Ptolemy
年:
1974
语言:
english
文件:
PDF, 595 KB
0 / 0
english, 1974
4
Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Yiannis N. Moschovakis
年:
2019
语言:
english
文件:
PDF, 1010 KB
0 / 0
english, 2019
5
Proofs and Computations

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer
年:
2012
语言:
english
文件:
PDF, 2.80 MB
0 / 0
english, 2012
6
Diamantine

Diamantine

Andrew Rowe (Fantasy fiction writer)
年:
2021
语言:
english
文件:
EPUB, 615 KB
5.0 / 0
english, 2021
7
Toward a Calculus of Concepts

Toward a Calculus of Concepts

Willard Van Orman. QUINE
年:
1936
语言:
english
文件:
PDF, 679 KB
0 / 0
english, 1936
8
Logicism renewed: Logical foundations for mathematics and computer science

Logicism renewed: Logical foundations for mathematics and computer science

Gilmore, Paul Carl
年:
2005
语言:
english
文件:
DJVU, 2.17 MB
0 / 0
english, 2005
10
A Course in Model Theory

A Course in Model Theory

Katrin Tent, Martin Ziegler
年:
2012
语言:
english
文件:
PDF, 1.13 MB
5.0 / 0
english, 2012
11
From determinant to tensor

From determinant to tensor

W. F. Sheppard
年:
1923
语言:
english
文件:
DJVU, 1.10 MB
0 / 0
english, 1923
12
Symbols of Islam

Symbols of Islam

Malek Chebel
年:
2001
语言:
english
文件:
PDF, 11.03 MB
0 / 4.5
english, 2001
13
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Stephen Cook, Phuong Nguyen
年:
2010
语言:
english
文件:
PDF, 2.32 MB
0 / 0
english, 2010
14
300 Mac Keyboard Shortcuts & Symbols PDF (2023)

300 Mac Keyboard Shortcuts & Symbols PDF (2023)

technastic.com, Rakesh
语言:
english
文件:
PDF, 247 KB
0 / 5.0
english
15
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Gabbay, D. M
年:
1996
语言:
english
文件:
PDF, 1.51 MB
0 / 0
english, 1996
16
Din apă şi din duh. Studiu liturgic al Botezului

Din apă şi din duh. Studiu liturgic al Botezului

Alexander Schmemann
年:
1992
语言:
romanian
文件:
DJVU, 1.69 MB
0 / 0
romanian, 1992
17
Les Insignes de L’Infanterie D’Afrique 1830-1962

Les Insignes de L’Infanterie D’Afrique 1830-1962

J. Simon
年:
1979
语言:
french
文件:
PDF, 39.76 MB
0 / 0
french, 1979
18
Reverse mathematics 2001

Reverse mathematics 2001

Simpson, Stephen George (ed.)
年:
2005
语言:
english
文件:
DJVU, 4.24 MB
0 / 0
english, 2005
19
Inexhaustibility: A Non-Exhaustive Treatment

Inexhaustibility: A Non-Exhaustive Treatment

Torkel Franzén
年:
2004
语言:
english
文件:
DJVU, 4.35 MB
0 / 5.0
english, 2004
20
Model theory of stochastic processes

Model theory of stochastic processes

Sergio Fajardo, H. Jerome Keisler
年:
2002
语言:
english
文件:
DJVU, 1.35 MB
0 / 0
english, 2002
21
Nonstandard methods and applications in mathematics

Nonstandard methods and applications in mathematics

Ross, David A., Di Nasso, Mauro, Cutland, Nigel (eds.)
年:
2006
语言:
english
文件:
DJVU, 3.19 MB
0 / 0
english, 2006
24
Zadaci iz linearne algebre

Zadaci iz linearne algebre

Zoran Stojaković, Ivica Bošnjak
年:
2004
语言:
serbian
文件:
PDF, 2.12 MB
0 / 0
serbian, 2004
28
Meeting of the Association for Symbolic Logic

Meeting of the Association for Symbolic Logic

Benacerraf Paul
年:
1977
语言:
english
文件:
PDF, 355 KB
0 / 0
english, 1977
29
Intensionality

Intensionality

Kahle, Reinhard (eds.)
年:
2005
语言:
english
文件:
DJVU, 2.27 MB
0 / 0
english, 2005