Mathematical logic books

 Read More >>

natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought...  Read More >>

This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer...  Read More >>

This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work,...  Read More >>

To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating...  Read More >>

The papers report new results and techniques in applications of deductive systems, deductive program synthesis and...  Read More >>

Im Nachwort berichtet der Herausgeber über die Entstehungsgeschichte der abgedruckten Arbeiten, über deren Stellung...  Read More >>

 Read More >>

"In this collection of logic puzzles, Raymond Smullyan - author of ""Forever Undecided"" - continues to make available,...  Read More >>

This book contains in easily accessible form all the main ideas of the creator and principal architect of algorithmic...  Read More >>

The classic results obtained by Godel, Tarski, Kleene and Church in the early thirties are the finest flowers of...  Read More >>

 Read More >>

General concepts and methods that occur throughout mathematics and now also in theoretical computer science are...  Read More >>

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere...  Read More >>

The second part is devoted to the important problems of the theory including star-height, concatenation hierarchies,...  Read More >>

Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der...  Read More >>

 Read More >>

This volume contains the papers which were presented at the second workshop ""Computer Science Logic"" held in Duisburg,...  Read More >>

 Read More >>

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected...  Read More >>

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise...  Read More >>

Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines...  Read More >>

 Read More >>

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory...  Read More >>

Speech technology - the use of speech as a means of sending information to, and receiving information from computer...  Read More >>