|
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 | Bases for Structures and Theories II |
Ketland, Jeffrey |
|
14 | 4 |
p. 461-479 |
artikel |
|
| 2 | Composition of Deductions within the Propositions-As-Types Paradigm |
Pezlar, Ivo |
|
14 | 4 |
p. 481-493 |
artikel |
|
| 3 | Constrained Pseudo-Propositional Logic |
Azizi-Sultan, Ahmad-Saher |
|
14 | 4 |
p. 523-535 |
artikel |
|
| 4 | Encoding Complete Metric Structures by Classical Structures |
Ackerman, Nathanael Leedom |
|
14 | 4 |
p. 421-459 |
artikel |
|
| 5 | Graded Structures of Opposition in Fuzzy Natural Logic |
Murinová, Petra |
|
14 | 4 |
p. 495-522 |
artikel |
|
| 6 | Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations |
Pawlowski, Pawel |
|
14 | 4 |
p. 407-420 |
artikel |
6 gevonden resultaten