Search Results for Mathematical logic. - Narrowed by: 2009

Mathematical logic : A course with exercises

2024-11-18T18:40:20Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-11-18T18:40:20Z

Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources
Availability Online Library~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-11-18T18:40:20Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2024-11-18T18:40:20Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2024-11-18T18:40:20Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

An examination of logical positivism

2024-11-18T18:40:20Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

The logical syntax of language

2024-11-18T18:40:20Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

Proof Theory The First Step into Impredicativity

2024-11-18T18:40:20Z

Author Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69319-2
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-11-18T18:40:20Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Electronic Resources
Availability Online Library~1

Logische Grundlagen der Mathematik

2024-11-18T18:40:20Z

Author Schindler, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95932-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Weighted Automata

2024-11-18T18:40:20Z

Author Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

2024-11-18T18:40:20Z

Author Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02962-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Boolean Algebras

2024-11-18T18:40:20Z

Author Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68436-9
Format: Electronic Resources
Availability Online Library~1

Logicism, Intuitionism, and Formalism What has Become of Them?

2024-11-18T18:40:20Z

Author Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: Electronic Resources
Availability Online Library~1

Games: Unifying Logic, Language, and Philosophy

2024-11-18T18:40:20Z

Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Electronic Resources
Availability Online Library~1

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

2024-11-18T18:40:20Z

Author Constanda, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-539-0
Format: Electronic Resources
Availability Online Library~1

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

2024-11-18T18:40:20Z

Author Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85198-1
Format: Electronic Resources
Availability Online Library~1

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-11-18T18:40:20Z

Author Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Electronic Resources
Availability Online Library~1

Ultimate Explanations of the Universe

2024-11-18T18:40:20Z

Author Heller, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02103-9
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

2024-11-18T18:40:20Z

Author Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02273-9
Format: Electronic Resources
Availability Online Library~1

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

2024-11-18T18:40:20Z

Author Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02348-4
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-11-18T18:40:20Z

Author Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03429-9
Format: Electronic Resources
Availability Online Library~1

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

2024-11-18T18:40:20Z

Author Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74642-5
Format: Electronic Resources
Availability Online Library~1

A Missing Link in Cybernetics Logic and Continuity

2024-11-18T18:40:20Z

Author Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Electronic Resources
Availability Online Library~1

Generalized Measure Theory

2024-11-18T18:40:20Z

Author Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76852-6
Format: Electronic Resources
Availability Online Library~1

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-11-18T18:40:20Z

Author Solojentsev, Evgueni D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77946-1
Format: Electronic Resources
Availability Online Library~1

Logic and Integer Programming

2024-11-18T18:40:20Z

Author Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Olympiad Challenges

2024-11-18T18:40:20Z

Author Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4611-0
Format: Electronic Resources
Availability Online Library~1

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

2024-11-18T18:40:20Z

Author Marquis, Jean-Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: Electronic Resources
Availability Online Library~1

Proof Theory for Fuzzy Logics

2024-11-18T18:40:20Z

Author Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Electronic Resources
Availability Online Library~1

Algorithmic Composition Paradigms of Automated Music Generation

2024-11-18T18:40:20Z

Author Nierhaus, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-75540-2
Format: Electronic Resources
Availability Online Library~1

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2024-11-18T18:40:20Z

Author Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00659-3
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2024-11-18T18:40:20Z

Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2024-11-18T18:40:20Z

Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Electronic Resources
Availability Online Library~1

Introduction to mathematics of satisfiability

2024-11-18T18:40:20Z

Author Marek, V. W. (V. Wiktor), 1943-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Games, puzzles, and computation

2024-11-18T18:40:20Z

Author Hearn, Robert A. Demaine, Erik D., 1981-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Teaching and learning proof across the grades a K-16 perspective

2024-11-18T18:40:20Z

Author Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Logical labyrinths

2024-11-18T18:40:20Z

Author Smullyan, Raymond M.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2006

2024-11-18T18:40:20Z

Author Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1