![Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications, Series Number 138): Courcelle, Bruno, Engelfriet, Joost: 9780521898331: Amazon.com: Books Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications, Series Number 138): Courcelle, Bruno, Engelfriet, Joost: 9780521898331: Amazon.com: Books](https://m.media-amazon.com/images/I/616Z2WHtDIL._AC_UF1000,1000_QL80_.jpg)
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications, Series Number 138): Courcelle, Bruno, Engelfriet, Joost: 9780521898331: Amazon.com: Books
![The Story of Proof: Logic and the History of Mathematics: Stillwell, John: 9780691234366: Amazon.com: Books The Story of Proof: Logic and the History of Mathematics: Stillwell, John: 9780691234366: Amazon.com: Books](https://m.media-amazon.com/images/I/81AZnX3XjUL._AC_UF1000,1000_QL80_.jpg)
The Story of Proof: Logic and the History of Mathematics: Stillwell, John: 9780691234366: Amazon.com: Books
![Mathematical Logic (Addison-Wesley Series in Logic): Shoenfield, Joseph R.: 9781568811352: Amazon.com: Books Mathematical Logic (Addison-Wesley Series in Logic): Shoenfield, Joseph R.: 9781568811352: Amazon.com: Books](https://m.media-amazon.com/images/I/51q2P0EwnUL._AC_UF1000,1000_QL80_.jpg)
Mathematical Logic (Addison-Wesley Series in Logic): Shoenfield, Joseph R.: 9781568811352: Amazon.com: Books
![Amazon.com: Lectures on Logic (The Cambridge Edition of the Works of Immanuel Kant): 9780521546911: Kant, Immanuel, Young, J. Michael: Books Amazon.com: Lectures on Logic (The Cambridge Edition of the Works of Immanuel Kant): 9780521546911: Kant, Immanuel, Young, J. Michael: Books](https://m.media-amazon.com/images/I/61Q0weO5LZL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Lectures on Logic (The Cambridge Edition of the Works of Immanuel Kant): 9780521546911: Kant, Immanuel, Young, J. Michael: Books
![Amazon.com: Plural Logic: Second Edition, Revised and Enlarged: 9780198744382: Oliver, Alex, Smiley, Timothy: Books Amazon.com: Plural Logic: Second Edition, Revised and Enlarged: 9780198744382: Oliver, Alex, Smiley, Timothy: Books](https://m.media-amazon.com/images/I/61wnI4HeZfL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Plural Logic: Second Edition, Revised and Enlarged: 9780198744382: Oliver, Alex, Smiley, Timothy: Books
![Modern Mathematical Logic (Cambridge Mathematical Textbooks): Mileti, Joseph: 9781108833141: Amazon.com: Books Modern Mathematical Logic (Cambridge Mathematical Textbooks): Mileti, Joseph: 9781108833141: Amazon.com: Books](https://m.media-amazon.com/images/I/718t-SvydAL._AC_UF1000,1000_QL80_.jpg)
Modern Mathematical Logic (Cambridge Mathematical Textbooks): Mileti, Joseph: 9781108833141: Amazon.com: Books
![Amazon.com: Primarily Logic, Grades 2-4: 9781593631222: Judy Leimbach, Diane Draze, Dean Crawford, Pat Crawford: Books Amazon.com: Primarily Logic, Grades 2-4: 9781593631222: Judy Leimbach, Diane Draze, Dean Crawford, Pat Crawford: Books](https://m.media-amazon.com/images/I/81zf-NwCOyL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Primarily Logic, Grades 2-4: 9781593631222: Judy Leimbach, Diane Draze, Dean Crawford, Pat Crawford: Books
![The Power of Logic: Howard-Snyder, Daniel, Howard-Snyder, Frances, Wasserman, Ryan: 9781260084658: Amazon.com: Books The Power of Logic: Howard-Snyder, Daniel, Howard-Snyder, Frances, Wasserman, Ryan: 9781260084658: Amazon.com: Books](https://m.media-amazon.com/images/I/41JtmlscqfL._AC_UF1000,1000_QL80_.jpg)
The Power of Logic: Howard-Snyder, Daniel, Howard-Snyder, Frances, Wasserman, Ryan: 9781260084658: Amazon.com: Books
![Amazon.com: Higher-Order Logic and Type Theory (Elements in Philosophy and Logic): 9781108986908: Bell, John L.: Books Amazon.com: Higher-Order Logic and Type Theory (Elements in Philosophy and Logic): 9781108986908: Bell, John L.: Books](https://m.media-amazon.com/images/I/51KP7k4QumL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Higher-Order Logic and Type Theory (Elements in Philosophy and Logic): 9781108986908: Bell, John L.: Books
![Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386): Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn: 9780521800563: Amazon.com: Books Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386): Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn: 9780521800563: Amazon.com: Books](https://m.media-amazon.com/images/I/51JBr5J896L._AC_UF1000,1000_QL80_.jpg)
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386): Mann, Allen L., Sandu, Gabriel, Sevenster, Merlijn: 9780521800563: Amazon.com: Books
![Amazon.com: Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369): 9789811641725: Arai, Toshiyasu, Kikuchi, Amazon.com: Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369): 9789811641725: Arai, Toshiyasu, Kikuchi,](https://m.media-amazon.com/images/I/617WuZR41LL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369): 9789811641725: Arai, Toshiyasu, Kikuchi,
![The Cambridge Companion to Medieval Logic (Cambridge Companions to Philosophy): Dutilh Novaes, Catarina, Read, Stephen: 9781107656673: Amazon.com: Books The Cambridge Companion to Medieval Logic (Cambridge Companions to Philosophy): Dutilh Novaes, Catarina, Read, Stephen: 9781107656673: Amazon.com: Books](https://m.media-amazon.com/images/I/61fLfEObGnL._AC_UF1000,1000_QL80_.jpg)
The Cambridge Companion to Medieval Logic (Cambridge Companions to Philosophy): Dutilh Novaes, Catarina, Read, Stephen: 9781107656673: Amazon.com: Books
![Amazon.com: Kant and the Science of Logic: A Historical and Philosophical Reconstruction: 9780190907136: Lu-Adler, Huaping: Books Amazon.com: Kant and the Science of Logic: A Historical and Philosophical Reconstruction: 9780190907136: Lu-Adler, Huaping: Books](https://m.media-amazon.com/images/I/719iLtFwIBL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Kant and the Science of Logic: A Historical and Philosophical Reconstruction: 9780190907136: Lu-Adler, Huaping: Books
![Fundamentals of Digital Logic with Verilog Design: Brown, Stephen, Vranesic, Zvonko: 9780073380544: Amazon.com: Books Fundamentals of Digital Logic with Verilog Design: Brown, Stephen, Vranesic, Zvonko: 9780073380544: Amazon.com: Books](https://m.media-amazon.com/images/I/61sIkYjFKVL._AC_UF1000,1000_QL80_.jpg)
Fundamentals of Digital Logic with Verilog Design: Brown, Stephen, Vranesic, Zvonko: 9780073380544: Amazon.com: Books
![Amazon.com: Three Views of Logic: Mathematics, Philosophy, and Computer Science: 9780691160443: Loveland, Donald W., Hodel, Richard, Sterrett, S. G.: Books Amazon.com: Three Views of Logic: Mathematics, Philosophy, and Computer Science: 9780691160443: Loveland, Donald W., Hodel, Richard, Sterrett, S. G.: Books](https://m.media-amazon.com/images/I/81TQsVsj7cL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Three Views of Logic: Mathematics, Philosophy, and Computer Science: 9780691160443: Loveland, Donald W., Hodel, Richard, Sterrett, S. G.: Books
![Programming with Higher-Order Logic: Miller, Dale, Nadathur, Gopalan: 9780521879408: Amazon.com: Books Programming with Higher-Order Logic: Miller, Dale, Nadathur, Gopalan: 9780521879408: Amazon.com: Books](https://m.media-amazon.com/images/I/51ldzpKyAGL._AC_UF1000,1000_QL80_.jpg)