Items related to Csl 87: 1st Workshop on Computer Science Logic (Lecture...

Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer Science) - Softcover

Borger, E.

 
9780387502410: Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387502416 ISBN 13: 9780387502410
Publisher: Springer Verlag, 1988

This specific ISBN edition is currently not available.

Synopsis

Csl '87 This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical lo... Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1988
Language
English
ISBN 10 
0387502416
ISBN 13 
9780387502410
Binding
Paperback
Number of pages
268
Editor
Buning Kleine H.