Limit Search Results
Author
SpringerLink (Online service)
(258)
Gabbay, Dov M. author.
(5)
Löwe, Benedikt. editor.
(4)
Andreescu, Titu. author.
(3)
Artemov, Sergei. editor.
(3)
Language
Publication Date
-
2011
(35)
2014
(34)
2013
(33)
2009
(28)
2008
(26)
Subject
Mathematical logic.
(258)
Formal Languages and Automata Theory.
(86)
Machine theory.
(86)
Mathematics.
(64)
Logic.
(57)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
258 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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.
2. 
Cover image for Logic: a Brief Course
Logic: a Brief Course
by 
Mundici, Daniele. author.
https://doi.org/10.1007/978-88-470-2361-1
Format: 
Excerpt: 
Logic: a Brief Course Mundici, Daniele. author.
3. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
by 
Schöning, Uwe. author.
https://doi.org/10.1007/978-0-8176-4763-6
Format: 
Excerpt: 
Logic for Computer Scientists Schöning, Uwe. author.
4. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
by 
Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: 
Excerpt: 
Logic and Integer Programming Williams, H. Paul. author.
5. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
by 
Braüner, Torben. author.
https://doi.org/10.1007/978-94-007-0002-4
Format: 
Excerpt: 
Hybrid Logic and its Proof-Theory Braüner, Torben. author.
6. 
Cover image for Recent Trends in Philosophical Logic
Recent Trends in Philosophical Logic
by 
Ciuni, Roberto. editor.
https://doi.org/10.1007/978-3-319-06080-4
Format: 
Excerpt: 
Trends in Logic, Studia Logica Library,
7. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-0348-0862-0
Format: 
Excerpt: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
8. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-7643-9977-1
Format: 
Excerpt: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
9. 
Cover image for Non-commutative Multiple-Valued Logic Algebras
Non-commutative Multiple-Valued Logic Algebras
by 
Ciungu, Lavinia Corina. author.
https://doi.org/10.1007/978-3-319-01589-7
Format: 
Excerpt: 
Non-commutative Multiple-Valued Logic Algebras Ciungu, Lavinia Corina. author.
10. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
by 
Andréka, Hajnal. editor.
https://doi.org/10.1007/978-3-642-35025-2
Format: 
Excerpt: 
Cylindric-like Algebras and Algebraic Logic Andréka, Hajnal. editor.
11. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
by 
Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-1-4614-5746-6
Format: 
Excerpt: 
A Course on Mathematical Logic Srivastava, Shashi Mohan. author.
12. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
by 
Ben-Ari, Mordechai. author.
https://doi.org/10.1007/978-1-4471-4129-7
Format: 
Excerpt: 
Mathematical Logic for Computer Science Ben-Ari, Mordechai. author.
Select an Action