Przeglądaj Bulletin of the Section of Logic 49/2 (2020) według tematu
Wyświetlanie pozycji 1-20 z 37
| Temat |
|---|
| 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] |