Shapes & Logic

Logic

Logic

A-Logic

A-Logic

Logic

Logic

Logic

Logic

Logic

Logic

Logic Probe Kit

This is a Logic Probe Kit which teaches theory and operation of the Logic Probe.

Logic and Learning: Knowledge Representation, Computation and Learning in Higher-Order Logic

Logic and Learning provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. For those interested in computational logic, it provides a framework for knowledge representation and computation based on higher-order logic, and demonstrates its advantages over more standard approaches based on first-order logic. For those interested in machine learning, the book explains how higher-order logic provides suitable knowledge representation formalisms and hypothesis languages for machine learning applications.

The Logic of Epistemology and the Epistemology of Logic

The Logic of Epistemology and the Epistemology of Logic

Logic of Hegel's Logic

Logic of Hegel's Logic

Logic of Discovery and Logic of Discourse

Logic of Discovery and Logic of Discourse