PakCat catalogue record

Computability and logic

NULL

By Jeffrey, Richard C.

Bibliographic details

ISBN
0521809754
Publisher
London , Massachusetts
Publication place
Cambridge
Publication year
2002
Material type
Book
Physical description
xi, 356p.

Subjects

Logic, symbolic and mathematical

Related catalogue records

Formal logic Jeffrey, Richard C. Formal logic: its scope and limits Jeffrey, Richard C. 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. Studies in foundations and combinatorics ROTA, GIAN-CARLO