@Article{445574, author = "Michał Tyburski", title = " Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu ", year = 2009, volume = 17, number = 1, journal = Filozofia Nauki, pages = s. 107-122, }