|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$LT→t for Implicational Ticket Entailment |
Bimbó, Katalin |
2014 |
8 | 2 |
p. 141-164 |
artikel |
|
| 2 | Fraïssé’s Construction from a Topos-Theoretic Perspective |
Caramello, Olivia |
2014 |
8 | 2 |
p. 261-281 |
artikel |
|
| 3 | Harmony in Multiple-Conclusion Natural-Deduction |
Francez, Nissim |
2014 |
8 | 2 |
p. 215-259 |
artikel |
|
| 4 | On Non-Deterministic Quantification |
Ferguson, Thomas Macaulay |
2014 |
8 | 2 |
p. 165-191 |
artikel |
|
| 5 | Toward a Clarity of the Extreme Value Theorem |
Katz, Karin U. |
2014 |
8 | 2 |
p. 193-214 |
artikel |
5 gevonden resultaten