On finitizing first order logic

Bulletin of the Section of Logic, Tom 23, Numer 2 (1994) s. 66-79
Ildiko Sain

 

do góry