Andrews, P. B. (Peter Bruce), 1937-. | Introduction to mathematical logic and type theory : to truth through proof
VIAF ID: 4728151474949200490000 ( Work )
Permalink: http://viaf.org/viaf/4728151474949200490000
Preferred Forms
4xx's: Alternate Name Forms (1)
Expressions
Author
:
Andrews, P. B.
Language | Title | Expression | Sources |
---|---|---|---|
Japanese | 数理論理学とタイプ理論 : 証明による真理へ | 小川原倫子. :1987 |