PakCat catalogue record

100% mathematical proof

By Garnier, Rowan

Bibliographic details

ISBN
0471961981
Publisher
Wiley
Publication place
Chichester
Publication year
1996
Material type
Book
Physical description
viii, 317 p.

Additional authors

Taylor, John

Subjects

Logic, Symbolic and mathematical., Proof theory.

Related catalogue records

Discrete mathematics for new technology Garnier, Rowan 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 Introduction logic Copi, Iruing M.