COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Mathematical Logic in Computer Science - 1st Edition - ISBN: 9780444854407

Mathematical Logic in Computer Science

1st Edition

Authors: B. Dömölki T. Gergely
Hardcover ISBN: 9780444854407
Imprint: North Holland
Published Date: 1st January 1981
Sales tax will be calculated at check-out Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


This volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary. Main topics of the Colloquium include:
- Model theoretical, universal algebra and category theoretical approaches to program semantics
- Logical and model theoretical approaches to program-verification, data representation and problem specification
- Logical and model theoretical approaches to theorem proving, automatic programming and automatic problem solving
- Very high level, logical based programming languages.


© North Holland 1981
1st January 1981
North Holland
Hardcover ISBN:

Ratings and Reviews

About the Authors

B. Dömölki

T. Gergely