|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A categorical semantics for polarized MALL |
Hamano, Masahiro |
2007 |
145 | 3 |
p. 276-313 38 p. |
artikel |
|
| 2 | Constructive characterizations of bar subsets |
Valentini, Silvio |
2007 |
145 | 3 |
p. 368-378 11 p. |
artikel |
|
| 3 | Criterion for binarity of ℵ 0 -categorical weakly o-minimal theories |
Kulpeshov, B.Sh. |
2007 |
145 | 3 |
p. 354-367 14 p. |
artikel |
|
| 4 | Decidability of the theory of modules over commutative valuation domains |
Puninski, G. |
2007 |
145 | 3 |
p. 258-275 18 p. |
artikel |
|
| 5 | Derivability in certain subsystems of the Logic of Proofs is Π 2 p -complete |
Milnikel, Robert |
2007 |
145 | 3 |
p. 223-239 17 p. |
artikel |
|
| 6 | Editorial Board |
2007 |
145 | 3 |
p. IFC- 1 p. |
artikel |
||
| 7 | Partial Horn logic and cartesian categories |
Palmgren, E. |
2007 |
145 | 3 |
p. 314-353 40 p. |
artikel |
|
| 8 | Randomness and the linear degrees of computability |
Lewis, Andrew E.M. |
2007 |
145 | 3 |
p. 252-257 6 p. |
artikel |
|
| 9 | Splitting families and forcing |
Kurilić, Miloš S. |
2007 |
145 | 3 |
p. 240-251 12 p. |
artikel |
9 gevonden resultaten