Andrews, P. B. (Peter Bruce), 1937-. | Introduction to mathematical logic and type theory : to truth through proof | Japanese | (小川原倫子. : 1987)
VIAF ID: 306700220 ( Expression )
Permalink: http://viaf.org/viaf/306700220
Preferred Forms
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
- 500 1 _ ‡a 小川原倫子.
Works
Author
:
Andrews, P. B.
Title | Sources |
---|---|
Introduction to mathematical logic and type theory : to truth through proof |