Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109839548 | 1 hits
Person
ISNI: 
0000 0001 0983 9548
Name: 
Andrews, P. B.
Andrews, Peter
Andrews, Peter B.
Andrews, Peter Bruce
Dates: 
1937-
Creation class: 
cre
Language material
Text
Creation role: 
author
Related names: 
Ogawara, Shinako
Princeton
小川原, 倫子
Titles: 
introduction to mathematical logic and type theory, An : to truth through proof
Sūri ronrigaku to taipu riron
Transfinite type theory with type variables, by P. B. Andrews,..., A
数理論理学とタイプ理論 : 証明による真理へ
Notes: 
Thesis (Ph. D.)--Princeton
Sources: 
VIAF BNF LC NDL NTA NUKAT SUDOC WKP
TEL