Computations in propositional logic / Alex Hendriks
Proefschrift Universiteit van Amsterdam
| rdfs:label | "Computations in propositional logic / Alex Hendriks" |
| schema:name | "Computations in propositional logic" |
| schema:author | Hendriks, Alex (1952-2023) |
| schema:description | "Proefschrift Universiteit van Amsterdam" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1996" |
| schema:about | wiskundige logica |
| Modellen (theorie) | |
|
<http:/ |
|
| Propositional calculus | |
| Semantics | |
|
schema:in |
"en" |
|
schema:is |
ILLC dissertation series |
| schema:isbn | "9074795447" |
|
schema:number |
188 |
| schema:publication |
<https:/ |