Przeglądaj Bulletin of the Section of Logic 44/3-4 (2015) według tematu
Wyświetlanie pozycji 1-10 z 10
| Temat |
|---|
| cut admissibility [1] |
| cut elimination [1] |
| first-order logic [1] |
| GL [1] |
| Modal logic [1] |
| proof theory [1] |
| provability logic [1] |
| QGL [1] |
| sequent calculus [1] |
| Łukasiewicz’s logics [1] |