First-Order Programming Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)

by: Tamas Gergely · Laszlo Ury

Hardcover

details (USA).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-387-54277-5

ISBN-10: 0-387-54277-9

Springer Verlag · 1992