Kripke's worlds
an introduction to modal logics via tableaux
Gespeichert in:
Verfasser / Beitragende:
Olivier Gasquet ... [et al.]
Ort, Verlag, Jahr:
Basel [etc.] :
Birkhäuser,
2014
Beschreibung:
XV, 198 S. : Ill. ; 24 cm
Format:
Buch
Online Zugang: