PakCat catalogue record

Logic for computer scientists

By Schöning, Uwe

Bibliographic details

ISBN
0817634533
Publisher
Birkhäuser
Publication place
Boston
Publication year
1989
Language
English
Material type
Book
Physical description
166 p.

Subjects

Logic, Symbolic and mathematical., Logic programming.

Related catalogue records

Element of the theory of computation Lewis, Harry R. Critical thinking Watson, Jamie Carlin Introduction to logic Copi, Irving M. Logic and knowledge Marsh, Robert Charles Introduction to Logic Copi, Irvin M. Introduction to logic Copi, Irving M. Studies in foundations and combinatorics ROTA, GIAN-CARLO Introduction logic Copi, Iruing M.