※ Amazon Webサービスを利用して情報を取得しています。
※ 商品の購入など重要な判断をする際には、必ずAmazon.co.jpのウェブサイトの情報を確認してください。
※ リンクをクリックしますと、Amazon.co.jpのウェブページへジャンプします。
The Criminology of White-Collar Crime (Topics in Applied Physics)
（Springer-Verlag 2009年01月13日）
Theory and Applications of Satisfiability Testing-SAT 2008: 11th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science)
（Springer Berlin Heidelberg 2008年05月）
Theory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science)
（Springer 2007年06月28日）
SAT 2005: Satisfiability Research in the Year 2005
（Springer-Verlag New York Inc (C) 2006年12月30日）
Theory And Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, UK, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science)
（Springer 2005年08月15日）
Propositional And Predicate Calculus: A Model Of Argument
Derek Goldrei （Springer 2005年08月02日）
Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : Selected Revised Papers (Lecture Notes in Computer Science)
Enrico Giunchiglia、Armando Tacchella （Springer 2004年03月19日）
Computational Logic: Logic Programming and Beyond : Essays in Honor of Robert A. Kowalski (Lecture Notes in Artificial Intelligence)
（Springer 2002年08月）
Computational Logic: Logic Programming and Beyond : Essays in Honor of Robert A. Kowalski (Lecture Notes in Artificial Intelligence)
（Springer 2002年08月）
Mathematical Logic for Computer Science
Mordechai Ben-Ari （Springer 2001年05月）
Sat2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications)
（Ios Pr Inc 2000年01月01日）
The Satisfiability Problem and Boolean Functions (Topics in Discrete Mathematics)
J. V. Franco、G. Gallo、H. K. Buning、E. Speckenmeyer、E. Boros （Elsevier Science Ltd 1999年11月30日）
Elements of Deductive Inference: An Introduction to Symbolic Logic
Joseph Bessie、Stuart Glennan （Wadsworth Pub Co 1999年08月02日）
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Stephen G. Simpson （Springer 1999年01月15日）
Logik als Erfahrungswissenschaft. Der Kalkuelismus und Wege zu seiner Ueberwindung
Gabriele Gutzmann （Duncker & Humblot GmbH 1998年01月）
Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Jun Gu、Panos M. Pardalos、Ding-Zhu Du （Amer Mathematical Society 1997年10月）
Technical Methods in Philosophy (Focus Series)
John L. Pollock （Westview Pr (Short Disc) 1990年02月）
Technical Methods in Philosophy (Focus Series)
John L. Pollock （Westview Pr (Short Disc) 1990年02月）
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Edsger W. Dijkstra、Carel S. Scholten （Springer-Verlag Berlin and Heidelberg GmbH & Co. K 1990年01月）
Predicate Calculus and Program Semantics (Texts & Monographs in Computer Science)
Edsger W. Dijkstra （Springer-Verlag 1990年01月）
Aussagenlogik, Mengen, Relationen
Hans-Dieter Gerster （Herder Verlag GmbH 1989年10月）
Klassische und nichtklassische Aussagenlogik
Wolfgang Rautenberg （Vieweg Friedr. + Sohn Ver 1986年06月）
Classical Propositional Operators: An Exercise in the Foundations of Logic (Oxford Logic Guides)
Krister Segerberg （Clarendon Pr 1982年05月）
Ontological Economy: Substitutional Quantification and Mathematics (Clarendon Library of Logic & Philosophy)
Dale Gottlieb （Oxford Univ Pr (Txt) 1980年07月09日）
Predicate-oriented Database Search Algorithms (Outstanding Dissertations in the Computer Sciences)
Dan E. Willard （Dissertations-G 1980年04月）
Logic: Form and Function: The Mechanization of Deductive Reasoning (Artificial Intelligence)
J.A. (Jodi Ann) Robinson （Elsevier 1980年01月31日）
Decision Problem: Solvable Classes of Quantificational Formulas
Burton Dreben、Warren Goldfarb （Addison-Wesley Educational Publishers Inc 1979年12月）
Logic: Form and Function
J.A. (Jodi Ann) Robinson （Edinburgh University Press 1979年02月16日）
Existence and the Particular Quantifier
Alex Orenstein （Temple Univ Pr 1979年02月）
Formal Semantics and Pragmatics for Natural Languages (Studies in Linguistics and Philosophy)
F. Guenthner、Siegfried J. Schmidt （Springer 1978年12月）
Formal Semantics and Pragmatics for Natural Languages (Synthese Language Lib ; No. 4)
（Kluwer Academic Pub 1978年12月）
Beginning Logic
E. J. Lemmon （Hackett Pub Co Inc 1978年06月）
Worlds, Times and Selves
Arthur N. Prior、Kit Fine （Univ of Massachusetts Pr 1977年05月）
Worlds, Times and Selves
Arthur N. Prior、Kit Fine （Gerald Duckworth & Co Ltd 1977年02月）
Completeness, Compactness and Undecidability: Introduction to Mathematical Logic
Alfred B. Manaster （Prentice Hall 1975年08月）
Beginning Logic (This book is not for sale to customers in the USA)
E.J. Lemmon （Chapman and Hall/CRC 1971年09月30日）
Logic of Plurality
J.E.J. Altham （Methuen young books 1971年07月08日）