Browsing Bulletin of the Section of Logic 49/2 (2020) by Subject
Now showing items 1-20 of 37
| Subject |
|---|
| algebraic models [1] |
| automated reasoning [1] |
| categorial language [1] |
| categoricity [1] |
| categorisation [1] |
| completeness [1] |
| compositionality [1] |
| computational metaphysics [1] |
| converse of Łoś's theorem [1] |
| Conway numbers [1] |
| denotation [1] |
| extensional semantics [1] |
| filter [1] |
| higher-order logic [1] |
| higher-order modal logic [1] |
| Husserl [1] |
| hyperreals [1] |
| imaginary numbers [1] |
| infinite numbers [1] |
| infinitesimals [1] |