Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures: Handbook of Logic in Computer Science
Editat de S. Abramsky, Dov M. Gabbay, T. S. E. Maibaumen Limba Engleză Hardback – 9 dec 1992
Preț: 2865.40 lei
Preț vechi: 3581.75 lei
-20% Nou
Puncte Express: 4298
Preț estimativ în valută:
548.40€ • 578.54$ • 457.01£
548.40€ • 578.54$ • 457.01£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780198537359
ISBN-10: 0198537352
Pagini: 840
Ilustrații: line figures
Dimensiuni: 164 x 240 x 48 mm
Greutate: 1.25 kg
Editura: Clarendon Press
Colecția Clarendon Press
Seria Handbook of Logic in Computer Science
Locul publicării:Oxford, United Kingdom
ISBN-10: 0198537352
Pagini: 840
Ilustrații: line figures
Dimensiuni: 164 x 240 x 48 mm
Greutate: 1.25 kg
Editura: Clarendon Press
Colecția Clarendon Press
Seria Handbook of Logic in Computer Science
Locul publicării:Oxford, United Kingdom
Cuprins
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.
Recenzii
`It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World
`...the Handbook of Logic in Computer Science is 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.'^`...will illuminate the working lives of all those engaged in conducting and supervising research in computing sciences both now and in the future.'Time Higher Education Supplement
'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
`...the Handbook of Logic in Computer Science is 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.'^`...will illuminate the working lives of all those engaged in conducting and supervising research in computing sciences both now and in the future.'Time Higher Education Supplement
'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