Handbook of Logic in Computer Science: Volume 1. Background: - Mathematical Structure

Zusatztext 'a major work of scientific publishing ... a highly detailed! authoritative and illuminating exposition of the field! and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors! authors and all those others who have worked for so many years on this substantial project.'Times Higher Education Suplement Zusammenfassung A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered. Inhaltsverzeichnis M. Ryan & M. Sadler: Valuation systems and consequence relations; I.C.C. Phillips: Recursion theory; K. Meinke & J.V. Tucker: Universal algebra; A.K. Poigne: Basic category theory; M.B. Smyth: Topology; J. Makovsky: Model theory.

Product details

• Authors: Samson Gabbary Abramsky, ABRAMSKY SAMSON GABBARY D M MAI
• Assisted by: S. Abramsky (Editor), S. (Professor of Computing Science Abramsky (Editor), S. (Professor of Computing Science) Abramsky (Editor), Samson Abramsky (Editor), Abramsky S. (Editor), D. M. Gabbary (Editor), Dov M. Gabbay (Editor), Dov M. (Professor of Computing Science) Gabbay (Editor), T. S. E. Maibaum (Editor), T. S. E. (Professor of Foundations of Software Engineering Maibaum (Editor), Maibaum T. S. E. (Editor)
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 10.12.1992
• EAN: 9780198537359
• ISBN: 978-0-19-853735-9
• No. of pages: 840
• Series: Handbook of Logic in Computer Science; Handbook of Logic in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic, COMPUTERS / Programming / General, computer science, Computer programming / software engineering, Mathematical logic, Computer Programming / Software Development