Goście
• Marek Nasieniewski, Uniwersytet Mikołaja Kopernika w Toruniu
TBA
• Ian Pratt-Hartmann, University of Manchester, Uniwersytet Opolski
Argument-Sequence Fragments of First-Order Logic (PDF)
• Marek Nasieniewski, Uniwersytet Mikołaja Kopernika w Toruniu
TBA
• Ian Pratt-Hartmann, University of Manchester, Uniwersytet Opolski
Argument-Sequence Fragments of First-Order Logic (PDF)