Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Plato's Theory of Ideas

Année:
1953
Langue:
english
Fichier:
PDF, 359 KB
english, 1953
2

Plato's Philosophy of Mathematics

Année:
1998
Langue:
english
Fichier:
PDF, 125 KB
english, 1998
3

The Greek commentaries on Plato's Phaedo. 1. Olympiodorus. 2. Damascius

Année:
1979
Langue:
english
Fichier:
PDF, 236 KB
english, 1979
4

From Axiomatic Logic to Natural Deduction

Année:
2014
Langue:
english
Fichier:
PDF, 231 KB
english, 2014
5

Musical "Marriages" in Plato's "Republic"

Année:
1974
Langue:
english
Fichier:
PDF, 1.68 MB
english, 1974
6

Boltzmann's ergodic hypothesis

Année:
1991
Langue:
english
Fichier:
PDF, 1.76 MB
english, 1991
7

Plato: A Collection of Critical Essays. 1. Metaphysics and Epistemology

Année:
1972
Langue:
english
Fichier:
PDF, 227 KB
english, 1972
9

Character, Plot and Thought in Plato's Timaeus-Critias

Année:
1978
Langue:
english
Fichier:
PDF, 232 KB
english, 1978
10

Gentzen's Proof of Normalization for Natural Deduction

Année:
2008
Langue:
english
Fichier:
PDF, 1.90 MB
english, 2008
11

Plato on Population and the State

Année:
1986
Langue:
english
Fichier:
PDF, 1.32 MB
english, 1986
15

The classic Socratic method

Année:
1994
Langue:
english
Fichier:
PDF, 1.04 MB
english, 1994
16

Il silenzio delle sirene: La matematica greca antica

Année:
2013
Langue:
english
Fichier:
PDF, 127 KB
english, 2013
17

Laches and Charmides

Année:
1974
Langue:
english
Fichier:
PDF, 222 KB
english, 1974
18

Ptolemy's Almagest . Ptolemy, G. J. Toomer Preceptum Canonis Ptolomei . David Pingree

Année:
2001
Langue:
english
Fichier:
PDF, 355 KB
english, 2001
19

Gentzen's Proof Systems: Byproducts in a Work of Genius

Année:
2012
Langue:
english
Fichier:
PDF, 436 KB
english, 2012
20

The Laws of Plato || BOOK IX

Année:
2013
Langue:
english
Fichier:
PDF, 3.30 MB
english, 2013
22

The Laws of Plato || BOOK VII

Année:
2013
Fichier:
PDF, 4.47 MB
2013
24

Translations from natural deduction to sequent calculus

Année:
2003
Langue:
english
Fichier:
PDF, 96 KB
english, 2003
25

Permutability of rules in lattice theory

Année:
2002
Langue:
english
Fichier:
PDF, 141 KB
english, 2002
26

The Republic, Book XI

Année:
2012
Langue:
english
Fichier:
PDF, 621 KB
english, 2012
32

Normal derivability in modal logic

Année:
2005
Langue:
english
Fichier:
PDF, 89 KB
english, 2005
33

Oresme's proof of the density of rotations of a circle through an irrational angle

Année:
1993
Langue:
english
Fichier:
PDF, 321 KB
english, 1993
34

The axioms of constructive geometry

Année:
1995
Langue:
english
Fichier:
PDF, 1.80 MB
english, 1995
35

Natural deduction with general elimination rules

Année:
2001
Langue:
english
Fichier:
PDF, 130 KB
english, 2001
36

The Method of Arbitrary Functions

Année:
1983
Langue:
english
Fichier:
PDF, 1.26 MB
english, 1983
37

Probability and Determinism

Année:
1982
Langue:
english
Fichier:
PDF, 370 KB
english, 1982
39

Bruno de Finetti's Philosophy of Probability || de Finetti's Earliest Works on the Foundations of Probability

Année:
1989
Langue:
english
Fichier:
PDF, 1.91 MB
english, 1989
40

Philebus and Epinomis

Année:
1957
Langue:
english
Fichier:
PDF, 161 KB
english, 1957
41

Constructivism in Non-Classical Logics and Computer Science || Skolem's Discovery of Gödel-Dummett Logic

Année:
2003
Langue:
english
Fichier:
PDF, 545 KB
english, 2003
43

Gravitational effects in quantum mechanics

Année:
2016
Langue:
english
Fichier:
PDF, 2.82 MB
english, 2016
45

The Laws of Plato (Edited with an Introduction, Notes etc.) || BOOK VI

Année:
2013
Langue:
english
Fichier:
PDF, 4.84 MB
english, 2013
46

Logic Lectures. Gödel's Basic Logic Course at Notre Dame

Année:
2018
Langue:
english
Fichier:
PDF, 305 KB
english, 2018
47

The Laws of Plato || BOOK XI

Année:
2013
Langue:
english
Fichier:
PDF, 2.90 MB
english, 2013
48

Critical Heart Disease in Infants and Children || Respiratory Physiology for Intensivists

Année:
2019
Langue:
english
Fichier:
PDF, 885 KB
english, 2019