Can I read Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) on EtoBox?

Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) by Schöning, Uwe is a mathematics available to read on EtoBox.

What is Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) about?

By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- tur

Who reads Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS))?

Author

Schöning, Uwe

Publisher

Birkhäuser Boston

Published

1994

Language

EN

ISBN

9780817647629

Category

mathematics

Subjects

Mathematics, Technology, Philosophy

Updated

2026-03-25