Logic Colloquium 2007

Logic the basics

Introduction to logic

Introduction to logic

Programmable logic controllers

Advances in modal logic

The science of logic

The science of logic

The logic of practice

Mathematical Logic Foundations for Information Science

Logic Pro 9 audio and music production

Chance, love and logic : philosophical essays

Logic : the theory of formal inference

Mathematical logic : A course with exercises

Studies in inductive logic and probability

Discrete structures, logic, and computability

Logic the question of truth

Data integration the relational logic approach

A Concise Introduction to Mathematical Logic

Modality metaphysics, logic, and epistemology

Fuzzy logic and hydrological modeling

Fuzzy logic with engineering applications

Linguistic Fuzzy Logic Methods in Social Sciences

A Course in Mathematical Logic for Mathematicians

Towards a Design Flow for Reversible Logic

Designing social research : the logic of anticipation

The rise of modern logic from Leibniz to Frege

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

The technique of controversy : principles of dynamic logic

The limits of science : outline of logic and of the methodology of the exact sciences

Logic and Philosophy of Mathematics in the Early Husserl

Postmodernism, or, The cultural logic of late capitalism

The emotional and priestly logic of plural marriage

The multinational enterprise in developing countries local versus global logic

Fuzzy Logic-Based Algorithms for Video De-Interlacing

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Quantitative Logic and Soft Computing 2010 Volume 2

The civil rights movement and the logic of social change

The decision model a business logic framework linking business and technology

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Cognition and conditionals probability and logic in human thinking

Cuts and clouds vagueness, its nature, and its logic

Simple formal logic with common-sense symbolic techniques

Rational theory of international politics : the logic of competition and cooperation

Why not kill them all? : the logic and prevention of mass political murder

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940

The logic of discipline global capitalism and the architecture of government

Category theory

Philosophy of Syntax Foundational Topics

Natural Deduction, Hybrid Systems and Modal Logics

Logical Foundations of Proof Complexity

Kurt Gödel Essays for his Centennial

A Framework for Priority Arguments

Cleavage politics and the populist right the new cultural conflict in Western Europe

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Logical studies

A treatise on induction and probability

An examination of logical positivism

The foundations of mathematics : and other logical essays

The nature of mathematics : a critical survey

Cylindric algebras

Explaining Games The Epistemic Programme in Game Theory

Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole

Communication : a philosophical study of language

Dialectic

The logical syntax of language