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

Internet

Table of contents
Table of contents
Table of contents
Publisher description

Galveston Stacks

Holdings details from Galveston Stacks
Call Number: QA9.54 .G367 1996
 
Call Number Status Get It
QA9.54 .G367 1996 Available