|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra |
Barušs, Imants |
2013 |
7 | 3 |
p. 323-334 |
artikel |
|
| 2 | Dagger Categories of Tame Relations |
Jacobs, Bart |
2013 |
7 | 3 |
p. 341-370 |
artikel |
|
| 3 | Deduction as Reduction, from a Categorical Point of View |
Duval, Dominique |
2013 |
7 | 3 |
p. 275-289 |
artikel |
|
| 4 | Elements of Categorical Logic: Fifty Years Later |
Paiva, Valeria de |
2013 |
7 | 3 |
p. 265-273 |
artikel |
|
| 5 | Internal Diagrams and Archetypal Reasoning in Category Theory |
Ochs, Eduardo |
2013 |
7 | 3 |
p. 291-321 |
artikel |
|
| 6 | Quotient Completion for the Foundation of Constructive Mathematics |
Maietti, Maria Emilia |
2013 |
7 | 3 |
p. 371-402 |
artikel |
|
| 7 | What do Freyd’s Toposes Classify? |
Johnstone, Peter |
2013 |
7 | 3 |
p. 335-340 |
artikel |
7 gevonden resultaten