|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A recursion-theoretic approach to NP |
Oitavem, I. |
2011 |
162 | 8 |
p. 661-666 6 p. |
artikel |
|
| 2 | The complexity of central series in nilpotent computable groups |
Csima, Barbara F. |
2011 |
162 | 8 |
p. 667-678 12 p. |
artikel |
|
| 3 | The strength of extensionality II — Weak weak set theories without infinity |
Sato, Kentaro |
2011 |
162 | 8 |
p. 579-646 68 p. |
artikel |
|
| 4 | The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories |
Jäger, Gerhard |
2011 |
162 | 8 |
p. 647-660 14 p. |
artikel |
4 gevonden resultaten