Limit Search Results
Author
SpringerLink (Online service)
(28)
Andreescu, Titu. author.
(1)
Andrew, Alex M. author.
(1)
Artemov, Sergei. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Language
Subject
Logic, Symbolic and mathematical.
(37)
Mathematics.
(13)
Computer science.
(12)
Algebra -- Data processing.
(6)
Algebra.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
2. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The logical syntax of language
The logical syntax of language
Author 
Carnap, Rudolf, 1891-1970.
Preferred Shelf Number 
BC 135 C323 1937 P (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for The foundations of mathematics : and other logical essays
The foundations of mathematics : and other logical essays
Author 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number 
QA 9 R23 1931
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for The nature of mathematics : a critical survey
The nature of mathematics : a critical survey
Author 
Black, Max, 1909-
Preferred Shelf Number 
QA 9 B62 1933 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for The limits of science : outline of logic and of the methodology of the exact sciences
The limits of science : outline of logic and of the methodology of the exact sciences
Author 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number 
Q 175 C494 1948 A (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for An examination of logical positivism
An examination of logical positivism
Author 
Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number 
B 824.6 W434 1936 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
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: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for A Missing Link in Cybernetics Logic and Continuity
A Missing Link in Cybernetics Logic and Continuity
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
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: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Proof Theory The First Step into Impredicativity
Proof Theory The First Step into Impredicativity
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
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: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Introduction to Boolean Algebras
Introduction to Boolean Algebras
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Generalized Measure Theory
Generalized Measure Theory
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
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: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Mathematical Olympiad Challenges
Mathematical Olympiad Challenges
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: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Logische Grundlagen der Mathematik
Logische Grundlagen der Mathematik
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: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
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: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Ultimate Explanations of the Universe
Ultimate Explanations of the Universe
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: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Teaching and learning proof across the grades a K-16 perspective
Teaching and learning proof across the grades a K-16 perspective
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Handbook of Weighted Automata
Handbook of Weighted Automata
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: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Games, puzzles, and computation
Games, puzzles, and computation
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: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Logicism, Intuitionism, and Formalism What has Become of Them?
Logicism, Intuitionism, and Formalism What has Become of Them?
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: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
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: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Algorithmic Composition Paradigms of Automated Music Generation
Algorithmic Composition Paradigms of Automated Music Generation
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: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
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: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: