Entscheidungsproblem des logischen Funktionenkalkuls, Monatshefte f ur (1933)

by Zum
Venue:Mathematik Phys