Lecture notes in logic
データ種別 | 図書 |
---|---|
出版者 | Berlin ; New York : Springer-Verlag |
子書誌情報を非表示
1 | 33 Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Steven G. Simpson Cambridge : Cambridge University Press , 2010 |
2 | 47 Descriptive complexity, canonisation, and definable graph structure theory / Martin Grohe : hardback. - Ithaca, NY : Association for Symbolic Logic. - Cambridge : Cambridge University Press , 2017 |
3 | 48 Abstract recursion and intrinsic complexity / Yiannis N. Moschovakis Cambridge : Cambridge University Press , 2019 |
書誌詳細を非表示
書誌ID | BB12258458 |
---|---|
本文言語 | 英語 |
一般注記 | "A publication of The Association for Symbolic Logic" Publishers varies: v.1-12(c1993-1998) Springer-Verlag ; v.13(c2000)- Association for Symbolic Logic, A K Peters, Ltd.(Co-publisher) |
著者標目 | Association for Symbolic Logic |
NCID | BA21291492 |
この資料の利用統計
全貸出数:0回
(1年以内の貸出:0回)
※2000年4月1日以降