Andrews, Peter Bruce, 1937-....
Andrews, P. B. (Peter Bruce), 1937-
Andrews, Peter B. (Peter Bruce), 1937-
Andrews, Peter B.
VIAF ID: 69161404 (Personal)
Permalink: http://viaf.org/viaf/69161404
Preferred Forms
-
100 1 _ ‡a Andrews, Peter Bruce ‡d (1937- ).
-
200 _ | ‡a Andrews ‡b Peter Bruce ‡f 1937-....
-
100 1 _ ‡a Andrews, Peter Bruce, ‡d 1937-....
-
100 1 0 ‡a Andrews, P. B. ‡q (Peter Bruce), ‡d 1937-
-
100 1 _ ‡a Andrews, P. B. ‡q (Peter Bruce), ‡d 1937-
-
100 1 _ ‡a Andrews, Peter B. (undifferentiated)
-
100 1 _ ‡a Andrews, Peter B. ‡q (Peter Bruce), ‡d 1937-
-
100 1 _ ‡a Andrews, Peter Bruce, ‡d 1937-
4xx's: Alternate Name Forms (5)
Selected Titles
- An introduction to mathematical logic and type theory : to truth through proof
(8)
- A transfinite type theory with type variables
(5)
- An introduction to mathematical logic and type theory
(2)
- 数理論理学とタイプ理論 : 証明による真理へ
(1)
- A Transfinite type theory with type variables, by P. B. Andrews,...
(1)
- Sūri ronrigaku to taipu riron
(1)
