0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

CSL '87 - 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Paperback, 1988 ed.) Loot Price: R1,596
Discovery Miles 15 960
CSL '87 - 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Paperback, 1988 ed.):...

CSL '87 - 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Paperback, 1988 ed.)

Egon Boerger, Hans Kleine Buning, Michael M. Richter

Series: Lecture Notes in Computer Science, 329

 (sign in to rate)
Loot Price R1,596 Discovery Miles 15 960 | Repayment Terms: R150 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 329
Release date: September 1988
First published: 1988
Editors: Egon Boerger • Hans Kleine Buning • Michael M. Richter
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 348
Edition: 1988 ed.
ISBN-13: 978-3-540-50241-8
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > General
LSN: 3-540-50241-6
Barcode: 9783540502418

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,339 Discovery Miles 23 390
Sams Teach Yourself: Beginning…
Greg Perry, Dean Miller Paperback R702 R638 Discovery Miles 6 380
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,485 Discovery Miles 14 850
Program Construction - Calculating…
Roland Backhouse Paperback R1,389 Discovery Miles 13 890
Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
Starting Out with Python, Global Edition
Tony Gaddis Paperback R2,272 R2,075 Discovery Miles 20 750
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,821 Discovery Miles 18 210
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,126 Discovery Miles 21 260
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,616 Discovery Miles 16 160
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,134 Discovery Miles 21 340
Object-Oriented Game Development
Julian Gold Paperback R2,202 R1,687 Discovery Miles 16 870

See more

Partners