De Jongh's characterization of intuitionistic propositional calculus
| Authors | |
|---|---|
| Publication date | 2004 |
| Book title | Liber amicorum Dick de Jongh |
| Pages (from-to) | 1-10 |
| Number of pages | 10 |
| Publisher | Amsterdam: Amsterdam University Press |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |