Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Czasopismo: Notre Dame Journal of Formal Logic
Liczba publikacji: 22023
- 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
