You are not logged in |
Back to the list of the institutes
Publications
Journal: Notre Dame Journal of Formal Logic
Number of publications: 22023
- Daniel Hoffmann , Witt Vectors and Separably Closed Fields with Higher Derivations, Notre Dame Journal of Formal Logic, 64 (2) 2023. See in 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. See in PBN
