Suchergebnis

• Forcing with random variables and proof complexity Krajíček, Jan Cambridge [u.a.] : Cambridge Univ. Press, 2011

• Grundlagen der Beweistheorie der marxistischen Philosophie Földesi, Tamás Koeln : Pahl-Rugenstein, 1977