Przeglądaj Bulletin of the Section of Logic 48/2 (2019) według tematu
Wyświetlanie pozycji 1-20 z 26
| Temat |
|---|
| 03G25 [1] |
| 06D15 [1] |
| 06D20 [1] |
| 08B15 [1] |
| 08B26 [1] |
| classical propositional logic [1] |
| correspondence analysis [1] |
| cut elimination [1] |
| definite descriptions [1] |
| existence predicate [1] |
| Heyting algebra [1] |
| identity of associative type [1] |
| inferential erotetic logic [1] |
| interpolation [1] |
| intuitionistic logic [1] |
| invertible rule [1] |
| logic [1] |
| Maehara's lemma [1] |
| natural deduction [1] |
| negative intuitionist free logic [1] |