Extended Frege and Gaussian Elimination

Bulletin of the Section of Logic, Tom 31, Numer 4 (2002) s. 189-205
Michael Sołtys

 

do góry