Browse editions

Current edition
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

440 pages • first pub 1999 (editions)

nonfiction computer science mathematics informative slow-paced
Other editions (2)
Expand filter menu Filter editions
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

447 pages • first pub 1999 (editions)

nonfiction computer science mathematics informative slow-paced
Logic In Computer Science: Modelling And Reasoning About Systems by Michael Huth, Mark Ryan

Logic In Computer Science: Modelling And Reasoning About Systems

Michael Huth, Mark Ryan

missing page info • missing pub info (editions)

nonfiction computer science mathematics challenging informative reflective medium-paced
More...