Limit Search Results
Author
ACM Special Interest Group for Automata and Computability Theory.
(1)
Apt, Krzysztof R., 1949-
(1)
Association for Symbolic Logic.
(1)
Aït-Kaci, Hassan, 1954-
(1)
Bakker, J. W. de (Jacobus Willem), 1939-
(1)
Language
Publication Date
-
Subject
programmation en logique.
(11)
Logic programming.
(5)
Logic, Symbolic and mathematical.
(5)
Logisch programmeren.
(5)
Logic programming -- Congresses.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logique du sens
Logique du sens
Author 
Deleuze, Gilles, 1925-1995.
Preferred Shelf Number 
B840 .D38 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Introduction a la logique
Introduction a la logique
Author 
Tarski, Alfred.
Preferred Shelf Number 
QA 9 T3 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logique et connaissance scientifique ...
Logique et connaissance scientifique ...
Author 
Piaget, Jean, 1896-1980.
Preferred Shelf Number 
BD 162 L6 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Louis Couturat -Traité de Logique algorithmique
Louis Couturat -Traité de Logique algorithmique
Author 
Schlaudt, Oliver. editor. Sakhri, Mohsen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0411-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Finance d'entreprise Logique et polifique
Finance d'entreprise Logique et polifique
Author 
Vernimmen, Pierre.
Preferred Shelf Number 
HG 4026 V48 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Logique, structure, enonciation : lectures sur le langage
Logique, structure, enonciation : lectures sur le langage
Author 
Ducrot, Oswald.
Preferred Shelf Number 
P106 .D77 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978
Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978
Author 
Wright, G.H., Von. ed.
Preferred Shelf Number 
BC 51 L58 1980
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for High-performance system design circuits and logic
High-performance system design circuits and logic
Author 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Author 
Gregg, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Availability 
Online Library~1
Available:
Copies: