Skip to main content
Elsevier
View Cart
openUserAccount

Mathematical Logic in Computer Science

  • 1st Edition - January 1, 1981
  • Authors: B. Dömölki, T. Gergely
  • Language: English
  • Hardback ISBN:
    9 7 8 - 0 - 4 4 4 - 8 5 4 4 0 - 7

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 theoret… Read more

Mathematical Logic in Computer Science

Purchase options

Limited Offer

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Book bundle cover eBook and print

Institutional subscription on ScienceDirect

Request a sales quote
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.