Logic

Mathematical Structures for Computer Science: A Modern Treatment of Discrete Mathematics

Judith L. Gersting

Final DRAFT 2004 --- Discrete Mathematics for Computer Science

Kenneth Bogart,Clifford Stein,Robert L. Drysdale

Intensional and Higher-Order Modal Logic

Daniel Gallin (Eds.)

The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic

Charles S. Chihara

Modal Logic for Philosophers

James W. Garson

A New Introduction to Modal Logic

G.E.Hughes,M.J.Cresswell

Puzzles for Pleasure

E.R. Emmet

100 Years of ’On Denoting’

Stephen Neale (Ed.);Bertrand Russell

Abductive Reasoning: Logical Investigations into Discovery and Explanation

Atocha Aliseda

Meta-Logical Investigations in Argumentation Networks

Dov M. Gabbay

Quantum Computation and Logic. How Quantum Computers have inspired Logical Investigations

Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

Logical investigations of predication theory and the problem of universals

Nino Cocchiarella

Husserl’s Logical Investigations Reconsidered

Denis Fisette (auth.)

Reasoning About Knowledge

Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Y. Vardi

Theoretical Aspects of Reasoning About Knowledge. Proceedings of the 1986 Conference

Joseph Y. Halpern

Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)

Discrete Mathematics: Elementary and Beyond

Lovasz L.,Vesztergombi K. L.,Pelikan J.

离散数学: 基础与提高 = Discrete mathematics: elementary and beyond

Luo, Lovasz L.;Pei, Pelikan J.;Wei, Vesztergombi K

Lectures on the Philosophy of Mathematics

Joel David Hamkins

An Investigation of the Laws of Thought

George Boole

An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities

George Boole

Discrete mathematics

J.Peilkan,K.Vesztergombi L.Lovasz

Discrete mathematics using a computer

John O'Donnell,Cordelia Hall,Rex Page

On the Algebra in Boole’s Laws of Thought

Subhash Kak,Kak,S

Discrete Mathematics with Applications

Thomas Koshy

An Outline of Philosophy

Bertrand Russell

The Foundations of Analysis: A Straightforward Introduction: Book 1: Logic, Sets and Numbers

K. G. Binmore

How Not to Be Wrong The Power of Mathematical Thinking

Jordan Ellenberg

Phenomenology, Logic, and the Philosophy of Mathematics

Tieszen R.

Routledge History of Philosophy, Volume 9: Philosophy of Science, Logic and Mathematics in the Twentieth Century

Stuart G. Shanker,G.H.R. Parkinson (Eds.)

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Jan Krajicek

Logic and Philosophy of Mathematics in the Early Husserl

Stefania Centrone

Routledge History of Philosophy: Philosophy of Science, Logic and Mathematics in the 20th Century (Pt.1)

S. G. Shanker

The Remix Manual: The Art and Science of Dance Music Remixing with Logic

Simon Langford

The Logic Manual

Volker Halbach

Fundamentals of mathematical logic

Hinman,Peter G.

A concise introduction to logic

Patrick J. Hurley

Boolean Algebra and Its Applications

J. Eldon Whitesitt

Introduction to Neutrosophic Logic

Charles Ashbacher

Introduction to Higher-Order Categorical Logic

J. Lambek,P. J. Scott