Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
2055479
 | 
 
Jean H. Gallier
 | 
9780486805085 | 
2015 | 
 
Contains images
 | 
  | 
 
Logic for Justice: An Introduction to Formal Logic with an Emphasis on Political Reform
5586844
 | 
 
Isaac Wilhelm
 | 
9781000904895 | 
2023 | 
 
Contains images
 | 
  | 
 
Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms
5747390
 | 
 
John B. Bacon
Michael Detlefsen
David Charles McCarty
 | 
9781134971046 | 
1999 | 
 | 
  | 
 
Logic from Kant to Russell: Laying the Foundations for Analytic Philosophy (Routledge Studies in Nineteenth-Century Philosophy)
2515366
 | 
 
Sandra Lapointe
 | 
9781351182225 | 
2018 | 
 | 
  | 
 
Logic in Computer Science
6429622
 | 
 
Jian Zhang
Hantao Zhang
 | 
9789819798162 | 
2025 | 
 
Contains images
 | 
  | 
 
Logic in Computer Science: Modelling and Reasoning about Systems
604584
 | 
 
Mark Ryan
Michael Huth
 | 
9781139636131 | 
2004 | 
 
Contains images
 | 
  | 
 
Logic in Elementary Mathematics (Dover Books on Mathematics)
2054427
 | 
 
Robert M. Exner
Myron F. Rosskopf
 | 
9780486264226 | 
2011 | 
 
Contains images
 | 
Read Now
  | 
 
Logic in High Definition: Trends in Logical Semantics (Trends in Logic #56)
3747903
 | 
 
Jacek Malinowski
Alessandro Giordani
 | 
9783030534875 | 
2021 | 
 
Contains images
 | 
  | 
 
Logic in Practice (Routledge Library Editions: Logic)
3581280
 | 
 
L. Susan Stebbing
 | 
9781000737158 | 
1934 | 
 
Contains images
 | 
  | 
 
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)
5364988
 | 
 
Jean-Yves Béziau
Amirouche Moktefi
Jean-Pierre Desclés
Anca Christine Pascu
 | 
9783030944520 | 
2022 | 
 
Contains images
 | 
  | 
 
Logic in the Theory and Practice of Lawmaking
1393194
 | 
 
Michał Araszkiewicz
Krzysztof Płeszka
 | 
9783319195759 | 
2016 | 
 
Contains images
 | 
  | 
 
Logic in the Wild
6017495
 | 
 
Patrick Girard
 | 
9780228021773 | 
2024 | 
 | 
  | 
 
Logic of Imagination
1579079
 | 
 
John Sallis
 | 
9780253013644 | 
2012 | 
 
Contains images
 | 
  | 
 
Logic with Trees: An Introduction to Symbolic Logic
5104111
 | 
 
Colin Howson
 | 
9781134785506 | 
1997 | 
 
Contains images
 | 
  | 
 
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science #12750)
5920189
 | 
 
Klaus-Dieter Schewe
Alexander Raschke
Elvinia Riccobene
 | 
9783030760205 | 
2021 | 
 
Contains images
 | 
  | 
 
Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle (Vienna Circle Institute Yearbook #29)
5851271
 | 
 
Georg Schiemer
Paola Cantù
 | 
9783031421907 | 
2023 | 
 
Contains images
 | 
  | 
 
Logic, Everyday Discourse, and Metaphysics (UNIPA Springer Series)
4129840
 | 
 
Gianni Rigamonti
 | 
9783030745981 | 
2021 | 
 | 
  | 
 
Logic, Form and Grammar (International Library of Philosophy)
4765468
 | 
 
Peter Long
 | 
9781134547715 | 
2001 | 
 | 
  | 
 
Logic, Language, Information, and Computation
1664498
 | 
 
Juliette Kennedy
Ruy J. G. B. Queiroz
 | 
9783662553862 | 
2014 | 
 
Contains images
 | 
  | 
 
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10944)
2126886
 | 
 
Ruy De Queiroz
Lawrence S. Moss
Maricarmen Martinez
 | 
9783662576694 | 
2018 | 
 
Contains images
 | 
  | 
 
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (Lecture Notes in Computer Science #11541)
2981677
 | 
 
Ruy De Queiroz
Rosalie Iemhoff
Michael Moortgat
 | 
9783662595336 | 
2019 | 
 
Contains images
 | 
  | 
 
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings (Lecture Notes in Computer Science #13038)
4314761
 | 
 
Ruy De Queiroz
Alexandra Silva
Renata Wassermann
 | 
9783030888534 | 
2021 | 
 
Contains images
 | 
  | 
 
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings (Lecture Notes in Computer Science #13468)
4856849
 | 
 
Agata Ciabattoni
Elaine Pimentel
Ruy J. G. B. de Queiroz
 | 
9783031152986 | 
2022 | 
 
Contains images
 | 
  | 
 
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (Lecture Notes in Computer Science #13923)
5745050
 | 
 
Helle Hvid Hansen
Andre Scedrov
Ruy J.G.B. de Queiroz
 | 
9783031397844 | 
2023 | 
 
Contains images
 | 
  | 
 
Logic, Language, and Computation
1417952
 | 
 
Martin Aher
Daniel Hole
Emil Jeřábek
Clemens Kupke
 | 
9783662469064 | 
2015 | 
 
Contains images
 | 
  |