Labelled deductive systems. Volume 1 /
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Oxford :
Clarendon Press,
1996.
|
| Edice: |
Oxford logic guides;
33 |
|
|