Rozstrzygalność w bezkwantyfikatorowym rachunku nazw

Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, Tom 3 (255) (1992) s. 21-43
Andrzej Pietruszczak

 

do góry