102

Plato: Phaedrus, Ion, Gorgias, and Symposium, with Passages from the Republic and Laws

Year:
1938
Language:
english
File:
PDF, 238 KB
english, 1938
103

Plato's Phaedo || 59C–62C

Year:
1972
Language:
english
File:
PDF, 452 KB
english, 1972
104

GENTZEN'S PROOF SYSTEMS: BYPRODUCTS IN A WORK OF GENIUS

Year:
2012
Language:
english
File:
PDF, 3.83 MB
english, 2012
105

Plato's Phaedo || 62C–64C

Year:
1972
Language:
english
File:
PDF, 267 KB
english, 1972
106

A proof of Gentzen'sHauptsatzwithout multicut

Year:
2001
Language:
english
File:
PDF, 66 KB
english, 2001
107

Meno

Year:
1964
Language:
english
File:
PDF, 237 KB
english, 1964
108

Plato's Phaedo || 64C–67B

Year:
1972
Language:
english
File:
PDF, 470 KB
english, 1972
109

The Laws of Plato || BOOK X

Year:
2013
File:
PDF, 3.38 MB
2013
110

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

Year:
1997
Language:
english
File:
PDF, 68 KB
english, 1997
114

Plato's Phaedo || 69E–72D

Year:
1972
Language:
english
File:
PDF, 437 KB
english, 1972
115

Plato's Phaedo || 72E–77A

Year:
1972
Language:
english
File:
PDF, 714 KB
english, 1972
117

A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION

Year:
2011
Language:
english
File:
PDF, 74 KB
english, 2011
118

Plato's Phaedo || 77A–78B

Year:
1972
Language:
english
File:
PDF, 179 KB
english, 1972
119

Plato's Phaedo || 78B–80C

Year:
1972
Language:
english
File:
PDF, 319 KB
english, 1972
120

Border Collie Optimization

Year:
2020
File:
PDF, 3.51 MB
2020
122

Plato's Phaedo || 80C–82D

Year:
1972
Language:
english
File:
PDF, 305 KB
english, 1972
124

Plato's Phaedo || 82D–85B

Year:
1972
Language:
english
File:
PDF, 295 KB
english, 1972
126

Minimum-detectable activity of beta-particle emitters by spectrum analysis

Year:
1975
Language:
english
File:
PDF, 372 KB
english, 1975
128

A new opportunity from space: PLATO mission

Year:
2010
Language:
english
File:
PDF, 193 KB
english, 2010
132

DERMATOGLYPHICS OF THE TRUKESE OF MICRONESIA

Year:
1967
Language:
english
File:
PDF, 369 KB
english, 1967
139

Probabilistic causality from a dynamical point of view

Year:
1990
Language:
english
File:
PDF, 772 KB
english, 1990
141

Predicting Lactate Threshold Using Ventilatory Threshold

Year:
2008
Language:
english
File:
PDF, 137 KB
english, 2008