Limit Search Results
Author
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)
(9)
Liu, Zhiming. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(1061)
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(753)
Formal Languages and Automata Theory.
(611)
Machine theory.
(611)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1800 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic
Logic
by 
Hodges, Wilfrid
Format: 
Excerpt: 
Logic / Hodges, Wilfrid
2. 
Cover image for Inductive logic
Inductive logic
by 
Gabbay, Dov M., 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780444529367
ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/10
Format: 
Excerpt: 
Inductive logic / Gabbay, Dov M., 1945-
3. 
Cover image for Mathematical logic
Mathematical logic
by 
Kleene, Stephen Cole, 1909-
Format: 
Excerpt: 
Mathematical logic / Kleene, Stephen Cole, 1909-
4. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
by 
van Ditmarsch, Hans. author.
https://doi.org/10.1007/978-1-4020-5839-4
Format: 
Excerpt: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
5. 
Cover image for Logic in Reality
Logic in Reality
by 
BRENNER, JOSEPH. author.
https://doi.org/10.1007/978-1-4020-8375-4
Format: 
Excerpt: 
Logic in Reality BRENNER, JOSEPH. author.
6. 
Cover image for Introduction to logic
Introduction to logic
by 
Copi, Irving M.
Format: 
Excerpt: 
Introduction to logic / Copi, Irving M.
7. 
Cover image for Logic and Structure
Logic and Structure
by 
van Dalen, Dirk. author.
https://doi.org/10.1007/978-1-4471-4558-5
Format: 
Excerpt: 
Logic and Structure van Dalen, Dirk. author.
8. 
Cover image for Synchronous precharge logic
Synchronous precharge logic
by 
Smoszna, Marek.
ScienceDirect https://www.sciencedirect.com/science/book/9780123985279
Format: 
Excerpt: 
Synchronous precharge logic / Smoszna, Marek.
9. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
by 
Doberkat, Ernst-Erich. author.
https://doi.org/10.1007/978-3-642-02995-0
Format: 
Excerpt: 
Stochastic Coalgebraic Logic Doberkat, Ernst-Erich. author.
10. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
by 
Belohlávek, Radim. author.
https://doi.org/10.1007/b105121
Format: 
Excerpt: 
Fuzzy Equational Logic Belohlávek, Radim. author.
11. 
Cover image for Contemporary logic design
Contemporary logic design
by 
Katz, Randy H., 1955-
Format: 
Excerpt: 
Contemporary logic design / Katz, Randy H., 1955-
12. 
Cover image for Introduction to logic
Introduction to logic
by 
Packard, Denis J.
Format: 
Excerpt: 
Introduction to logic / Packard, Denis J.
Select an Action