Logic.

Hegel's Apotheosis of Logic

2016 · ENGLISH · PDF

View details →

Truth, proof and infinity: A theory of constructions and constructive reasoning

1998 · ENGLISH · DJVU

View details →

Quantifiers: Logics, models and computation. Vol.1: Surveys

1995 · ENGLISH · DJVU

View details →

Proof methods for modal and intuitionistic logics

1983 · ENGLISH · DJVU

View details →

Natural deduction: the logical basis of axiom systems

1962 · ENGLISH · DJVU

View details →

Logic: [an introduction to elementary logic]

1977 · ENGLISH · DJVU

View details →

Hilbert's program: An essay on mathematical instrumentalism

1986 · ENGLISH · DJVU

View details →

From discourse to logic: Introduction to modeltheoretic semantics

1993 · ENGLISH · DJVU

View details →

Dynamic Epistemic Logic. Synthese Library, Volume 337

2008 · ENGLISH · PDF

View details →

A logic book: Fundamentals of reasoning

2007 · ENGLISH · DJVU

View details →

A concise introduction to logic

2016 · ENGLISH · PDF

View details →