Cover Image

100% mathematical proof /

Bibliographic Details
Main Author: Garnier, Rowan (Author)
Other Authors: Taylor, John, 1957-
Format: Book
Language:English
Published: Chichester ; New York : Wiley, [1996]
Subjects:
Proof theory.
Logic, Symbolic and mathematical.
Théorie de la preuve.
Logique symbolique et mathématique.
Logic, Symbolic and mathematical
Proof theory
Beweistheorie
Bewijstheorie.
Mathematical logic
Online Access:Table of contents
Table of contents
Table of contents
Publisher description
Description
Physical Description:viii, 317 pages : illustrations ; 25 cm
Bibliography:Includes bibliographical references (pages 273-274) and index.
ISBN:0471961981
9780471961987
047196199X
9780471961994