Quantification, types, preuves et logique combinatoire

Studia Kognitywne : semantyka kategorii aspektu i czasu, Tom 3 (1999) s. 13-82
Jean-Pierre Desclés

 

do góry