Mathematical Logic in Computer Science

Mathematical Logic in Computer Science

1st Edition - January 1, 1981

Write a review

  • Authors: B. Dömölki, T. Gergely
  • Hardcover ISBN: 9780444854407

Purchase options

Purchase options
In Stock
Sales tax will be calculated at check-out

Institutional Subscription

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.

Product details

  • Language: English
  • Copyright: © North Holland 1981
  • Published: January 1, 1981
  • Imprint: North Holland
  • Hardcover ISBN: 9780444854407

About the Authors

B. Dömölki

T. Gergely

Ratings and Reviews

Write a review

There are currently no reviews for "Mathematical Logic in Computer Science"