1
Kurt Godel: Collected Works: Volume IV

Kurt Godel: Collected Works: Volume IV

Jahr:
2013
Sprache:
english
Datei:
PDF, 29.59 MB
5.0 / 3.0
english, 2013
4
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Jahr:
2008
Sprache:
english
Datei:
PDF, 4.42 MB
0 / 0
english, 2008
7
In the Light of Logic

In the Light of Logic

Jahr:
1998
Sprache:
english
Datei:
PDF, 20.89 MB
0 / 0
english, 1998
8
The number systems: Foundations of algebra and analysis

The number systems: Foundations of algebra and analysis

Jahr:
1964
Sprache:
english
Datei:
PDF, 22.29 MB
0 / 0
english, 1964
10
Kurt Gödel: Essays for his Centennial

Kurt Gödel: Essays for his Centennial

Jahr:
2010
Sprache:
english
Datei:
PDF, 1.48 MB
0 / 0
english, 2010
12
Model-Theoretic Logics

Model-Theoretic Logics

Jahr:
2017
Sprache:
english
Datei:
PDF, 44.17 MB
0 / 0
english, 2017
13
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Jahr:
2008
Sprache:
english
Datei:
PDF, 6.22 MB
0 / 0
english, 2008
14
From Trotsky to Gödel: The Life of Jean van Heijenoort

From Trotsky to Gödel: The Life of Jean van Heijenoort

Jahr:
2000
Sprache:
english
Datei:
PDF, 43.68 MB
0 / 0
english, 2000
15
The Number Systems: foundations of algebra and analysis

The Number Systems: foundations of algebra and analysis

Jahr:
1964
Sprache:
english
Datei:
DJVU, 44.36 MB
0 / 0
english, 1964
18
The Number Systems: Foundations of Algebra and Analysis

The Number Systems: Foundations of Algebra and Analysis

Jahr:
2005
Sprache:
english
Datei:
PDF, 32.80 MB
0 / 5.0
english, 2005
19
Politics, Logic, and Love : The Life of Jean van Heijenoort

Politics, Logic, and Love : The Life of Jean van Heijenoort

Jahr:
1994
Sprache:
english
Datei:
PDF, 29.26 MB
0 / 0
english, 1994
20
Beyond the Pale: The Holocaust in the North Caucasus

Beyond the Pale: The Holocaust in the North Caucasus

Jahr:
2020
Sprache:
english
Datei:
PDF, 3.63 MB
0 / 0
english, 2020
21
Model-theoretic logics

Model-theoretic logics

Jahr:
1985
Sprache:
english
Datei:
PDF, 21.35 MB
0 / 0
english, 1985
22
The number systems_ Foundations of algebra and analysis

The number systems_ Foundations of algebra and analysis

Sprache:
english
Datei:
PDF, 23.00 MB
0 / 0
english
23
Model-theoretic logics

Model-theoretic logics

Jahr:
1985
Sprache:
english
Datei:
DJVU, 7.46 MB
0 / 0
english, 1985
27
In the Light of Logic

In the Light of Logic

Jahr:
1998
Sprache:
english
Datei:
DJVU, 3.99 MB
0 / 0
english, 1998
30
Banda Larga no Brasil : passado, presente e futuro

Banda Larga no Brasil : passado, presente e futuro

Jahr:
2016
Sprache:
portuguese
Datei:
MOBI , 6.43 MB
0 / 0
portuguese, 2016
32
Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Sprache:
english
Datei:
PDF, 113 KB
0 / 0
english
33
Collected Works. Vol. 4. Correspondence A-G

Collected Works. Vol. 4. Correspondence A-G

Jahr:
2003
Sprache:
english
Datei:
DJVU, 5.42 MB
0 / 0
english, 2003
35
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Jahr:
2008
Sprache:
english
Datei:
DJVU, 5.45 MB
0 / 0
english, 2008
36
Collected Works. Vol. 5. Correspondence H-Z

Collected Works. Vol. 5. Correspondence H-Z

Jahr:
2003
Sprache:
english
Datei:
DJVU, 5.28 MB
0 / 0
english, 2003
37
In the Light of Logic

In the Light of Logic

Jahr:
1998
Sprache:
english
Datei:
DJVU, 5.98 MB
0 / 0
english, 1998
40
Model-Theoretic Logics

Model-Theoretic Logics

Jahr:
1985
Sprache:
english
Datei:
DJVU, 7.44 MB
0 / 0
english, 1985
41
Alfred Tarski

Alfred Tarski

Jahr:
2004
Sprache:
english
Datei:
DJVU, 5.22 MB
0 / 5.0
english, 2004
43
Infinity in Mathematics

Infinity in Mathematics

Datei:
PDF, 11.52 MB
0 / 0
44
Microsoft Word - Tarski at CÉ

Microsoft Word - Tarski at CÉ

Datei:
PDF, 52 KB
0 / 0
45
Mathematical Logic

Mathematical Logic

Jahr:
2001
Sprache:
english
Datei:
PDF, 10.22 MB
5.0 / 0
english, 2001
46
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Jahr:
1981
Sprache:
english
Datei:
DJVU, 2.62 MB
0 / 0
english, 1981
50
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Jahr:
1981
Sprache:
english
Datei:
PDF, 11.87 MB
0 / 0
english, 1981