1
by Hájek, Petr
Published 1998
Springer Netherlands
Table of Contents: ...One / Preliminaries -- 1.1 Introduction -- 1.2 A survey of Boolean propositional logic -- 1.3...