Handbook of logic in computer science.

Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

1992

Handbook of logic in computer science.

Basic information

Original name

Handbook of logic in computer science.

Authors

Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum.

Edition

Oxford, 571 s. 1992

Publisher

The Clarendon Press

Other information

ISBN

0198537611

Změněno: 8/8/2022 13:07, The record has been imported from the library system.

Handbook of logic in computer science. Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. Oxford: The Clarendon Press, 1992, 571 s. ISBN 0198537611.

\textit{Handbook of logic in computer science.}. Edited by Samson Abramsky - Dov M. Gabbay - Thomas S. E. Maibaum. Oxford: The Clarendon Press, 1992, 571 s. ISBN~0198537611.