この商品を友人に教える:
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides Peter Clote
価格
¥ 22.046
税抜
遠隔倉庫からの取り寄せ
発送予定日 年8月19日 - 年9月4日
Peter Clote の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides
Peter Clote
This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.
442 pages, line figures
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1993年6月10日 |
| ISBN13 | 9780198536901 |
| 出版社 | Oxford University Press |
| ページ数 | 442 |
| 寸法 | 162 × 242 × 30 mm · 816 g |
| 言語 | 英語 |
| 編集者 | Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA) |
| 編集者 | Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1, Czechoslovakia) |
Peter Cloteの他の作品を見る
すべて表示
同じ出版社からのその他の記事
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Gillespie, Andrew (Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Formerly Head of Business and Marketing Director, d'Overbroecks, Oxford and Associate Lecturer, Oxford Brookes University) · Foundations of Economics 6E (Paperback Book) [6 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/235/9780192846235.jpg?gillespie-andrew-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-formerly-head-of-business-and-marketing-director-d-overbroecks-oxford-and-associate-lecturer-oxford-brookes-university-2027-foundations-of-economi&class=scaled&v=1784550996)
![Cover for Schabas, William A. (Professor of International Law, Professor of International Law, Middlesex University London) · The European Convention on Human Rights: A Commentary - Oxford Commentaries on International Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/657/9780198978657.jpg?schabas-william-a-professor-of-international-law-professor-of-international-law-middlesex-university-london-2027-the-european-convention-on-human-rights-a-commentary-oxford-commentaries-on-international-law-hardcover-book&class=scaled&v=1782771510)
![Cover for Comparative Politics (Paperback Book) [7 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/807/9780198940807.jpg?2027-comparative-politics-paperback-book&class=scaled&v=1784565132)
Peter Cloteのすべてを見る ( 例： Hardcover Book および Paperback Book )