Oxford logic guides
データ種別 | 図書 |
---|---|
出版者 | Oxford : Clarendon Press |
出版者 | New York : Oxford University Press |
子書誌情報を非表示
1 | 2 Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio Oxford : Clarendon Press , 1977 |
2 | 7 Formal number theory and computability : a workbook / by Alec Fisher : pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982 |
3 | 21 Elementary categories, elementary toposes / Colin McLarty : pbk. - Oxford : Clarendon Press. - Oxford : Oxford University Press , 1995, c1992 |
4 | 23 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993 |
5 | 39 Elements of intuitionism / Michael Dummett 2nd ed. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 2000 |
6 | 43-44 Sketches of an elephant : a topos theory compendium / Peter T. Johnstone v. 1,v. 2,: set. - Oxford : Clarendon Press. - New York : Oxford University Press , c2002 |
7 | 49 Category theory / Steve Awodey Oxford : Clarendon. - Oxford ; New York : Oxford University Press , 2006 |
8 | 54 Bolzano's logical system / Ettore Casari Oxford : Oxford University Press , 2016 |
書誌詳細を非表示
書誌ID | BB00000084 |
---|---|
本文言語 | und |
NCID | BA00017765 |
この資料の利用統計
全貸出数:0回
(1年以内の貸出:0回)
※2000年4月1日以降