Über das Entscheidungsproblem des engeren logischen Funktionenkalküls
Volume: Creator: Subject and Keywords:rozstrzygalność (logika matematyczna) ; rachunek kwantyfikatorów
Description: Publisher:Towarzystwo Naukowe ; Drukarnia Uniwersytetu Jagiellońskiego pod Zarządem J. Filipowskiego
Place of publication: Object type: Language: Rights Management:Biblioteka Uniwersytecka w Poznaniu
Publication date: Rights: Access rights: Digitisation:Biblioteka Uniwersytecka w Poznaniu
Location of original object: