サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
www.mpi-sws.org/~dreyer
OXFORD LOGIC GUIDES Series Editors A.J. MACINTYRE D.S. SCOTT Emeritus Editors D.M. Gabbay John Shepherdson OXFORD LOGIC GUIDES For a full list of titles please visit http://www.oup.co.uk/academic/science/maths/series/OLG/ 21. C. McLarty: Elementary categories, elementary toposes 22. R.M. Smullyan: Recursion theory for metamathematics 23. Peter Clote and Jan Kraj´ıcek: Arithmetic, proof theory, an
このページを最初にブックマークしてみませんか?
『www.mpi-sws.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く