|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A proof-search procedure for intuitionistic propositional logic |
Alonderis, R. |
2013 |
52 | 7-8 |
p. 759-778 |
artikel |
|
| 2 | A short proof of Glivenko theorems for intermediate predicate logics |
Espíndola, Christian |
2013 |
52 | 7-8 |
p. 823-826 |
artikel |
|
| 3 | Co-analytic mad families and definable wellorders |
Fischer, Vera |
2013 |
52 | 7-8 |
p. 809-822 |
artikel |
|
| 4 | Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices |
Zhao, Bin |
2013 |
52 | 7-8 |
p. 689-706 |
artikel |
|
| 5 | Generalized Bosbach states: Part II |
Ciungu, Lavinia Corina |
2013 |
52 | 7-8 |
p. 707-732 |
artikel |
|
| 6 | Labeled sequent calculi for modal logics and implicit contractions |
Minari, Pierluigi |
2013 |
52 | 7-8 |
p. 881-907 |
artikel |
|
| 7 | Maximally embeddable components |
Kurilić, Miloš S. |
2013 |
52 | 7-8 |
p. 793-808 |
artikel |
|
| 8 | On a problem of Ishmukhametov |
Fang, Chengling |
2013 |
52 | 7-8 |
p. 733-741 |
artikel |
|
| 9 | On predicate provability logics and binumerations of fragments of Peano arithmetic |
Kurahashi, Taishi |
2013 |
52 | 7-8 |
p. 871-880 |
artikel |
|
| 10 | On VC-minimal theories and variants |
Guingona, Vincent |
2013 |
52 | 7-8 |
p. 743-758 |
artikel |
|
| 11 | Simple groups and the number of countable models |
Tanović, Predrag |
2013 |
52 | 7-8 |
p. 779-791 |
artikel |
|
| 12 | Strongly dominating sets of reals |
Dečo, Michal |
2013 |
52 | 7-8 |
p. 827-846 |
artikel |
|
| 13 | Traces, traceability, and lattices of traces under the set theoretic inclusion |
Mainhardt, Gunther |
2013 |
52 | 7-8 |
p. 847-869 |
artikel |
13 gevonden resultaten