Publikacje

Czasopismo: Notre Dame Journal of Formal Logic

2023

• Daniel Hoffmann , Witt Vectors and Separably Closed Fields with Higher Derivations, Notre Dame Journal of Formal Logic, 64 (2) 2023. Zobacz w PBN

2010

• Morten Heine Sorensen, Paweł Urzyczyn , A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic, Notre Dame Journal of Formal Logic, 2010. Zobacz w PBN