Search Results for Mathematics. - Narrowed by: SpringerLink (Online service) - E-Book - 2008 - Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-07T12:59:46Z
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
ent://SD_ILS/0/SD_ILS:187903
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77533-1">http://dx.doi.org/10.1007/978-3-540-77533-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Thoughts Essays on Mathematics, Science and Philosophy
ent://SD_ILS/0/SD_ILS:168284
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4775-9">http://dx.doi.org/10.1007/978-0-8176-4775-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics and Graph Theory
ent://SD_ILS/0/SD_ILS:167686
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79711-3">http://dx.doi.org/10.1007/978-0-387-79711-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:187826
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77270-5">http://dx.doi.org/10.1007/978-3-540-77270-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
ent://SD_ILS/0/SD_ILS:187688
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Hausdorff, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76807-4">http://dx.doi.org/10.1007/978-3-540-76807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Developments in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:188079
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Srivastava, S. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Indiscrete Thoughts
ent://SD_ILS/0/SD_ILS:168285
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4781-0">http://dx.doi.org/10.1007/978-0-8176-4781-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Completeness Theory for Propositional Logics
ent://SD_ILS/0/SD_ILS:198080
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8518-7">http://dx.doi.org/10.1007/978-3-7643-8518-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guida alla teoria degli insiemi
ent://SD_ILS/0/SD_ILS:204285
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Lolli, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0769-7">http://dx.doi.org/10.1007/978-88-470-0769-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:188416
2024-09-07T12:59:46Z
2024-09-07T12:59:46Z
Author Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79376-2">http://dx.doi.org/10.1007/978-3-540-79376-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>