Browse editions

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

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

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 Mark Ryan, Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

447 pages • first pub 1999 (editions)

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

Logic In Computer Science: Modelling And Reasoning About Systems

Mark Ryan, Michael Huth

missing page info • missing pub info (editions)

nonfiction computer science mathematics challenging informative reflective medium-paced