福岡大学蔵書検索

検索結果一覧に戻る

Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel

データ種別	図書
出版者	Princeton, N.J. : Princeton University Press
出版年	2014, c2012
形態	xv, 142 p. : ill., ports., facsims. ; 26 cm
別書名	異なりアクセスタイトル:Systems of logic based on ordinals 異なりアクセスタイトル:Turing's thesis
著者標目	Turing, Alan Mathison, 1912-1954 Appel, Andrew W., 1960-
件　名	LCSH:Logic, Symbolic and mathematical
分　類	NDC9:410.96 NDC9:007.1 DC23:511.3
書誌ID	LT00953805

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
	: pbk	中央自動書庫	410.96/A59/1	2000000313083	9780691164731				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"This volume presents the manuscript of Alan Turing's PhD thesis."--Pref "Solomon Feferman's "Turing's Thesis,"originally published in the Notices of the AMS, vol.53, no.10"--T.p. verso
巻冊次	: pbk ; ISBN:9780691164731

目次／あらすじ