1 - Proofs and refutations : the logic of mathematical discovery
Lakatos, Imre (1922-1974)   /   Worrall, John (Ed.)   /   Zahar, Elie (1937-....) (Ed.)

Cote : [05 LAK 76]

2 - Eine Termlogik mit Auswahloperator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]

3 - Introduction à la logique - 2ème édition revue et augmentée
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (1917-....) (Trad.)

Cote : [05 TAR 69]

4 - Term logic with choice operator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]