Proof reconstruction in classical and non-classical logics, Stephan Schmitt
Nikdo zatím neohodnotil.Ohodnotit