Zewnętrzne identyfikatory
WoS ResearcherID | BRAK |
ORCID | BRAK |
Scopus ID | BRAK |
Historia zatrudnienia
UMCS / Lublin, Polska | zatrudniony do dnia dzisiejszego |
Trzy ostatnio wprowadzone fragmenty książek autora (2)
Związki problemu nierozstrzygalności logiki predykatów pierwszego rzędu z zagadnieniami złożoności / Jerzy Mycka, Wojciech Rosa. [W]: Problemy filozofii matematyki i informatyki.- 2018, s. 191-204 [MNiSW: 20]
Jeżeli ta strona zawiera nieaktualne, błędne lub niekompletne dane prosimy o kontakt pod adresem oab@pollub.pl