Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-8176-3675-3> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- books?vid=ISBN978-0-8176-3675-3 chapter "On Gödel's theorems on lengths of proofs. II. Lower bounds for recognizing k symbol provability".
- books?vid=ISBN978-0-8176-3675-3 editor1First "Peter".
- books?vid=ISBN978-0-8176-3675-3 editor2First "Jeffrey".
- books?vid=ISBN978-0-8176-3675-3 editor2Last "Remmel".
- books?vid=ISBN978-0-8176-3675-3 editorLast "Clote".
- books?vid=ISBN978-0-8176-3675-3 first1 "Samuel R.".
- books?vid=ISBN978-0-8176-3675-3 isCitedBy Gxc3xb6dels_speed-up_theorem.
- books?vid=ISBN978-0-8176-3675-3 isbn "978-0-8176-3675-3".
- books?vid=ISBN978-0-8176-3675-3 last1 "Buss".
- books?vid=ISBN978-0-8176-3675-3 location "Boston, MA".
- books?vid=ISBN978-0-8176-3675-3 mr "1322274".
- books?vid=ISBN978-0-8176-3675-3 pages "57–90".
- books?vid=ISBN978-0-8176-3675-3 publisher "Birkhäuser Boston".
- books?vid=ISBN978-0-8176-3675-3 series "Progr. Comput. Sci. Appl. Logic".
- books?vid=ISBN978-0-8176-3675-3 title "Feasible mathematics, II".
- books?vid=ISBN978-0-8176-3675-3 volume "13".
- books?vid=ISBN978-0-8176-3675-3 year "1995".