| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Gergely Buday: Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. J. Funct. Program. 18(3): 421-422 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page