Items related to Mathematical Logic in Computer Science (Colloquia Mathematic...

Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai S.) - Hardcover

 
9780444854407: Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai S.)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
758 pp., hardcover, very good in...
View this item

£ 13.32 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9789638021465: Mathematical Logic in Computer Science

Featured Edition

ISBN 10:  9638021462 ISBN 13:  9789638021465
Hardcover

Search results for Mathematical Logic in Computer Science (Colloquia Mathematic...

Stock Image

Domolki, B. & T. Gergely, editors
Published by North-Holland, 1981
ISBN 10: 0444854401 ISBN 13: 9780444854407
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. 758 pp., hardcover, very good in a very good dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1192234

Contact seller

Buy Used

£ 18.96
Convert currency
Shipping: £ 13.32
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket