An introduction to mathematical logic and type theory: to truth through proof /
| Hlavní autor: |
Andrews, P. B. 1937-
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Dordrecht :
Kluwer Academic Publishers,
[2002].
|
| Vydání: | Second edition |
| Edice: |
Applied logic series
|
| Předmět: | |
|
|