ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
書誌詳細に戻る
Andrews, P. B. (Peter Bruce), 1937-
著者名典拠詳細を表示
著者の属性
個人
一般注記
LCCN 66-5084: His A transfinite type theory with type variables, 1965 (hdg.: Andrews, Peter Bruce, 1937- ; usage: P.B. Andrews)
生没年等
1937-
から見よ参照
Andrews, Peter B.
コード類
典拠ID=0000007263 NCID=DA00543593
1
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
書誌詳細に戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC