Search Results for Proof theory. - Narrowed by: 2025
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProof$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092025$0025092025$0026ic$003dtrue$0026ps$003d300?dt=list
2026-06-01T23:26:42Z
Proof theory and logical complexity
ent://SD_ILS/0/SD_ILS:46059
2026-06-01T23:26:42Z
2026-06-01T23:26:42Z
Author Girard, Jean-Yves.<br/>Preferred Shelf Number QA 9.54 G57 1987- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
BEGINNER'S GUIDE TO MATHEMATICAL PROOF
ent://SD_ILS/0/SD_ILS:591145
2026-06-01T23:26:42Z
2026-06-01T23:26:42Z
Author DeBonis, Mark J.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032687728">https://www.taylorfrancis.com/books/9781032687728</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maximal Planar Graph Theory and the Four-Color Conjecture
ent://SD_ILS/0/SD_ILS:608586
2026-06-01T23:26:42Z
2026-06-01T23:26:42Z
Author Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4745-3">https://doi.org/10.1007/978-981-96-4745-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
ent://SD_ILS/0/SD_ILS:608859
2026-06-01T23:26:42Z
2026-06-01T23:26:42Z
Author Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88946-2">https://doi.org/10.1007/978-3-031-88946-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>