Search Results for Proof theory. - Narrowed by: 2013SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProof$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026ps$003d300?2024-10-28T17:26:37ZProof theory and logical complexityent://SD_ILS/0/SD_ILS:460592024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Girard, Jean-Yves.<br/>Preferred Shelf Number QA 9.54 G57 1987- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A realist theory of art historyent://SD_ILS/0/SD_ILS:2585652024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Verstegen, Ian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203072462">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011ent://SD_ILS/0/SD_ILS:2845272024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Serre, Damien. Barroca, Bruno. Laganier, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203072820">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Limits of computation an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:2862662024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spaces of PL manifolds and categories of simple mapsent://SD_ILS/0/SD_ILS:3770702024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt24hqsv">http://www.jstor.org/stable/10.2307/j.ctt24hqsv</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofs : an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:2704012024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Cupillari, Antonella.<br/>Preferred Shelf Number QA9.54 C86 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nonlinear optimal control theoryent://SD_ILS/0/SD_ILS:2881282024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Berkovitz, Leonard David, 1924- Medhin, Negash G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466560277">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The nuts and bolts of proofs an introduction to mathematical proofsent://SD_ILS/0/SD_ILS:1483742024-10-28T17:26:37Z2024-10-28T17:26:37ZAuthor Cupillari, Antonella. ScienceDirect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123822178">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>