(2000). Logic in computer science: Modelling and reasoning about systems / Michael Huth, Mark Ryan.
Чикаго стиль цитування (17-те видання)Logic in Computer Science: Modelling and Reasoning About Systems / Michael Huth, Mark Ryan. 2000.
Стиль цитування MLA (9-ме видання)Logic in Computer Science: Modelling and Reasoning About Systems / Michael Huth, Mark Ryan. 2000.
Попередження: стилі цитування не завжди правильні на всі 100%.