検索絞り込み条件絞り込み条件title 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りA transfinite type theory with type variables, by P.B. Andrews. (Studies in logic and the foundations of mathematics)A transfinite type theory with type variables, by P.B. Andrews. (Studies in logic and the foundations of mathematics)紙図書North-Holland Pub. Co.1965.<512.81-A568t>国立国会図書館LCCQA9件名Type theory. Logica. Logica Matematica.著者標目Andrews, P. B. (Peter Bruce) , ...A transfinite type theory with type variablesA transfinite type theory with type variables紙図書by P.B. AndrewsNorth-Holland1965全国の図書館NACSIS書誌ID(NCID)BA1107327XLCCQA9件名Type theory検索結果は以上です。書誌情報を一括出力