Search Results for Logic, Symbolic and mathematical. - Narrowed by: 2011SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026ps$003d300$0026isd$003dtrue?2025-12-12T18:21:31ZAn examination of logical positivisment://SD_ILS/0/SD_ILS:442232025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>After Gödel : Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:3716162025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Tieszen, Richard L., author.<br/>Preferred Shelf Number QA9 T54 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>McGraw-Hill's LSATent://SD_ILS/0/SD_ILS:2940722025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational logic and human thinking how to be artificially intelligentent://SD_ILS/0/SD_ILS:2787482025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Kowalski, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Apartness and Uniformity A Constructive Developmentent://SD_ILS/0/SD_ILS:1950192025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947852025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Games on Automatic Structures Playing with Quantifiers and Decompositionsent://SD_ILS/0/SD_ILS:1951452025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952732025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955542025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logica: Metodo Breveent://SD_ILS/0/SD_ILS:2045422025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:2057172025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bellent://SD_ILS/0/SD_ILS:2057802025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Dynamics of Information and Interactionent://SD_ILS/0/SD_ILS:2368442025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor van Benthem, Johan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Kleinent://SD_ILS/0/SD_ILS:2473112025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Hopkins, Burt C. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Un mondo di idee La matematica ovunqueent://SD_ILS/0/SD_ILS:2045012025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008ent://SD_ILS/0/SD_ILS:2045272025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Skof, Fulvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Ye, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Treatise on Intuitionistic Type Theoryent://SD_ILS/0/SD_ILS:2061592025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>After Gödel Platonism and rationalism in mathematics and logicent://SD_ILS/0/SD_ILS:2320292025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Tieszen, Richard L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Kennedy, Juliette. Kossak, Roman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Selected Correspondence of L.E.J. Brouwerent://SD_ILS/0/SD_ILS:1685292025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Proof is in the Pudding The Changing Nature of Mathematical Proofent://SD_ILS/0/SD_ILS:1664232025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Krantz, Steven G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:1672642025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proofs and Fundamentals A First Course in Abstract Mathematicsent://SD_ILS/0/SD_ILS:1727802025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Bloch, Ethan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:1732232025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hyperfinite Dirichlet Forms and Stochastic Processesent://SD_ILS/0/SD_ILS:1941142025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Objects to Diagrams for Ranges of Functorsent://SD_ILS/0/SD_ILS:1948132025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948482025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:2058082025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:2059492025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Mundici, D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logicsent://SD_ILS/0/SD_ILS:2363042025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Goldblatt, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Editionent://SD_ILS/0/SD_ILS:2389532025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Linsky, Bernard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Theory and Applicationsent://SD_ILS/0/SD_ILS:1915852025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Mangani, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wilesent://SD_ILS/0/SD_ILS:1923892025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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/>Cantor und die Franzosen Mathematik, Philosophie und das Unendlicheent://SD_ILS/0/SD_ILS:1927952025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conditionals and Modularity in General Logicsent://SD_ILS/0/SD_ILS:1939232025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor 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-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-12T18:21:31Z2025-12-12T18:21:31ZAuthor Hitzler, Pascal., author. Seda, Anthony.<br/>Preferred Shelf Number QA76.63 .H58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>