Computations in fragments of intuitionistic propositional logic / D. de Jongh, Lex Hendriks, G.R. Renardel de Lavalette
| rdfs:label | "Computations in fragments of intuitionistic propositional logic / D. de Jongh, Lex Hendriks, G.R. Renardel de Lavalette" |
| schema:name | "Computations in fragments of intuitionistic propositional logic" |
| schema:author | Jongh, D.H.J. de (1939-) |
| Logic Group (Utrecht) | |
| schema:contributor | Hendriks, Alex (1952-2023) |
| Renardel de Lavalette, Gerard Rudolf | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1988" |
| schema:about | wiskundige logica |
|
schema:in |
"en" |
|
schema:is |
Logic Group preprint series / University of Utrecht, Department of Philosophy |
|
schema:number |
26 |
| schema:publication |
<https:/ |