Search Results for Proof theory. - Narrowed by: 2011
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProof$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026ps$003d300?dt=list
2024-11-28T13:16:16Z
Proof theory and logical complexity
ent://SD_ILS/0/SD_ILS:46059
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Girard, Jean-Yves.<br/>Preferred Shelf Number QA 9.54 G57 1987- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
ent://SD_ILS/0/SD_ILS:194860
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21919-1">http://dx.doi.org/10.1007/978-3-642-21919-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete mathematics demystified a self-teaching guide
ent://SD_ILS/0/SD_ILS:294131
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Krantz, Steven G. (Steven George), 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/discrete-mathematics-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Math proofs demystified a self-teaching guide
ent://SD_ILS/0/SD_ILS:294158
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof Analysis A Contribution to Hilbert's Last Problem
ent://SD_ILS/0/SD_ILS:239026
2024-11-28T13:16:16Z
2024-11-28T13:16:16Z
Author Negri, Sara. von Plato, Jan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>