-
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
-
Link To Document :
