CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

Annotation 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 Mod...

Full description

Bibliographic Details

Corporate Authors:	Workshop on Computer Science Logic Karlsruhe, Germany, SpringerLink (Online service)
Other Authors:	Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans), Richter, Michael M., 1938-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1988]
Series:	Lecture notes in computer science ; 329.
Subjects:	Computers > Congresses. Electronic data processing > Congresses. Logic, Symbolic and mathematical > Congresses. Computer science > Mathematics. Programmeertalen. Logica. Computers. Electronic data processing. Logic, Symbolic and mathematical. Computer science. Logics and Meanings of Programs. Electronic books. Congressen (vorm) Conference proceedings.
Online Access:	Connect to the full text of this electronic book