Limit Search Results
Author
SpringerLink (Online service)
(142)
Project Muse.
(4)
Dix, Jürgen. editor.
(3)
Voronkov, Andrei. editor.
(3)
Calude, Cristian S. editor.
(2)
Language
Subject
Computer science.
(118)
Logic design.
(112)
Software engineering.
(85)
Artificial intelligence.
(49)
Computer Communication Networks.
(41)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
225 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
Author 
Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Designing social research : the logic of anticipation
Designing social research : the logic of anticipation
Author 
Blaikie, Norman W. H., 1933-
Preferred Shelf Number 
H61 B53 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
27. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Author 
Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8812-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
31. 
Cover image for Logic and Philosophy of Mathematics in the Early Husserl
Logic and Philosophy of Mathematics in the Early Husserl
Author 
Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
33. 
Cover image for The emotional and priestly logic of plural marriage
The emotional and priestly logic of plural marriage
Author 
Flake, Kathleen. Project Muse. Merrill-Cazier Library. Special Collections & Archives.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Fuzzy Logic-Based Algorithms for Video De-Interlacing
Fuzzy Logic-Based Algorithms for Video De-Interlacing
Author 
Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10695-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Author 
Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Author 
Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12251-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action