Search Results for Logic, Symbolic and mathematical. - Narrowed by: 2018SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-11-12T06:38:01ZThe logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor 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:725412024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor 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:725422024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor 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:725572024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor 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:766782024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor 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/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:3996162024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Wasilewska, Anita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:3995762024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensionsent://SD_ILS/0/SD_ILS:4025142024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to the Technique of Formative Processes in Set Theoryent://SD_ILS/0/SD_ILS:4018062024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932024-11-12T06:38:01Z2024-11-12T06:38:01ZAuthor Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>