田中一之
M・フィッティング『計算理論と論理プログラミング』山崎秀記・守谷哲夫・田中一之 訳、丸善出版、1989年8月。ISBN 978-4-621-03397-5。http://pub.maruzen.co.jp/book_magazine/book_data/search/4621033972.html。
ソーンダース・マックレーンほか『数学の基礎をめぐる論争 21世紀の数学と数学基礎論のあるべき姿を考える』田中一之 編・監訳、シュプリンガー・フェアラーク東京、1999年2月20日。ISBN 4-431-70797-2。
M・ジャキント 原著『確かさを求めて 数学の基礎についての哲学論考』田中一之 監訳、培風館、2007年1月30日。ISBN 978-4-563-00370-8。http://www.baifukan.co.jp/sinkan/shokai/003708.html。 - 原タイトル:The search for certainty.
1955年(昭和30年) - 東京都生まれ。
1978年(昭和53年) - 東京工業大学理学部卒業。
東京工業大学(理学修士)。
カリフォルニア大学バークレー校(Ph.D)。
1997年(平成9年) - 東北大学教授。
2008年 - 2017年(平成20年 - 平成29年)- 科学基礎論学会 理事。
2012年 - 2015年(平成24年 - 平成27年) - Association for Symbolic Logic, Councilor(評議員)。