Search Results for Logic, Symbolic and mathematical. - Narrowed by: Online Library - 2010
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-28T08:13:13Z
Kurt Gödel Essays for his Centennial
ent://SD_ILS/0/SD_ILS:236216
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
ent://SD_ILS/0/SD_ILS:188417
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Banach Spaces and Descriptive Set Theory: Selected Topics
ent://SD_ILS/0/SD_ILS:191905
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Dodos, Pandelis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Philosophy of Mathematics in the Early Husserl
ent://SD_ILS/0/SD_ILS:205021
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Centrone, Stefania. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cardinal Invariants on Boolean Algebras
ent://SD_ILS/0/SD_ILS:176670
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Monk, J. Donald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Set Theory
ent://SD_ILS/0/SD_ILS:169590
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ent://SD_ILS/0/SD_ILS:166574
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematische Logik
ent://SD_ILS/0/SD_ILS:176698
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Ziegler, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
ent://SD_ILS/0/SD_ILS:189998
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
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-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Framework for Priority Arguments
ent://SD_ILS/0/SD_ILS:236766
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Lerman, Manuel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium 2007
ent://SD_ILS/0/SD_ILS:236783
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Roads to infinity the mathematics of truth and proof
ent://SD_ILS/0/SD_ILS:289852
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Stillwell, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Propositions, functions, and analysis selected essays on Russell's philosophy
ent://SD_ILS/0/SD_ILS:231578
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Hylton, Peter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth through proof a formalist foundation for mathematics
ent://SD_ILS/0/SD_ILS:233257
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Weir, Alan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Proof Complexity
ent://SD_ILS/0/SD_ILS:237834
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Cook, Stephen. Nguyen, Phuong.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical reasoning patterns, problems, conjectures, and proofs
ent://SD_ILS/0/SD_ILS:265616
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Nickerson, Raymond S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic Foundations for Information Science
ent://SD_ILS/0/SD_ILS:198215
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Li, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2024-08-28T08:13:13Z
2024-08-28T08:13:13Z
Author Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>