Mathematical logic in computer science /

Additional authors: Dömölki, B. Series: (Colloquia mathematical societatis janos bolyai ; . 26) Published by : North-Holland Pub. Co., (Amsterdam :) Physical details: 758 p. : ill. ISBN: 0444854401. Subject(s): Computer programming management. | Logic, symbolic and mathematical. Year: 1981 Reviews from LibraryThing.com: