Basic proof theory

A.S. Troelstra, H. Schwichtenberg

この本の情報

書名 Basic proof theory
著作者等 Schwichtenberg, Helmut
Troelstra, A. S.
シリーズ名 Cambridge tracts in theoretical computer science
出版元 Cambridge University Press
刊行年月 1996
ページ数 xi, 343 p.
大きさ 24 cm
ISBN 0521572231
NCID BA28275348
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想