RecordNumber
95481
Title
Kripkeʹs worlds : an introduction to modal logics via tableaux
Author Statement
Olivier Gasquet ... [et al.].
Publication
Basel : Birkhauser
Publication Year
c2014
Collation
xv, 198 p. : ill.
Series
Studies in universal logic
Notes
authors: Olivier Gasquet, Andreas Herzig, Bilal Said, Francois Schearzentruber
Index
Includes index
Bibliography
Includes bibliographies
Subject
Nonclassical mathematical logic
ADDED ENTRIES
AU Gasquet, Olivier
Main Class
511
Sub Class
.3
Cutter no
K92
ISBN
978-3-7643-8503-3