Moschovakis, Yiannis N. (ed.),
Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989. Softcover reprint of the original 1st ed. 1992.
(Mathematical Sciences Research Institute Publications) 608 pp. (Springer-Verlag New York Inc., US) <M25-18144>
・ISBN 978-1-4612-7685-2 paper
¥24,746.-(税込)