Search Results for Logic, Symbolic and mathematical. - Narrowed by: E-Book - Online Library - Computer science. - Mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Mathematics.$002509Mathematics.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-28T00:01:08Z
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:337115
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
ent://SD_ILS/0/SD_ILS:333036
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:198771
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods of Cut-Elimination
ent://SD_ILS/0/SD_ILS:205808
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</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-28T00:01:08Z
2024-08-28T00:01:08Z
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/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
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/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</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-08-28T00:01:08Z
2024-08-28T00:01:08Z
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/>
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
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/>
Ernst Zermelo An Approach to His Life and Work
ent://SD_ILS/0/SD_ILS:185226
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:198047
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:197838
2024-08-28T00:01:08Z
2024-08-28T00:01:08Z
Author Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>