|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Beyond Logical Pluralism and Logical Monism |
Arazim, Pavel |
|
14 | 2 |
p. 151-174 |
artikel |
|
| 2 | Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice |
Miller, David W. |
|
14 | 2 |
p. 279 |
artikel |
|
| 3 | Eigenlogic in the Spirit of George Boole |
Toffano, Zeno |
|
14 | 2 |
p. 175-207 |
artikel |
|
| 4 | Essential Structure of Proofs as a Measure of Complexity |
Ramos, Jaime |
|
14 | 2 |
p. 209-242 |
artikel |
|
| 5 | Introducing H, an Institution-Based Formal Specification and Verification Language |
Diaconescu, Răzvan |
|
14 | 2 |
p. 259-277 |
artikel |
|
| 6 | Positive Amalgamation |
Belkasmi, Mohammed |
|
14 | 2 |
p. 243-258 |
artikel |
6 gevonden resultaten