Normal view MARC view ISBD view

Natural deduction, hybrid systems and modal logics / by Andrzej Indrzejczak.

By: Indrzejczak, Andrzej.

Material type: Text

TextSeries: Trends in logic ; vol. 30.Publisher: Dordrecht ; New York : Springer, c2010Description: xxiii, 491 p., E 194.95 ill. ; 28 cm.ISBN: 9789048187843 (alk. paper); 9048187842 (alk. paper).Subject(s): Logic | Modality (Logic)DDC classification: 162

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	162 IND (Browse shelf)	Available		8660

Total holds: 0

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous	No cover image available No cover image available							Next
Previous	155.5 VAR The effectiveness of counselling on adolescents in relation to psychological stress, self-concept, adjustment, and educational aspirations /	158.1 PET 12 rules for life : an antidote to chaos /	161 PAR Pure inductive logic /	162 IND Natural deduction, hybrid systems and modal logics /	165 PEN The emperor's new mind : concerning computers, minds, and the laws of physics /	165 PEN Shadows of the mind : a search for the missing science of consciousness /	181.043 LAU An introduction to Buddhist philosophy /	Next

Includes bibliographical references (p. [445]-466) and index.

CMI Library

Natural deduction, hybrid systems and modal logics / by Andrzej Indrzejczak.

By: Indrzejczak, Andrzej.

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser