This VIAF Cluster has been deleted. It is no longer part of VIAF.
Andrews, P. B. (Peter Bruce), 1937-. | Introduction to mathematical logic and type theory : to truth through proof
VIAF ID: 306902363 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/306902363
Preferred Forms
4xx's: Alternate Name Forms (2)
Expressions
Author
:
Andrews, Peter B.
Language | Title | Expression | Sources |
---|---|---|---|
Japanese | 数理論理学とタイプ理論 : 証明による真理へ | 小川原倫子. :1987 |