Cover Image

On the shape of mathematical arguments /

Show other versions (1)
Bibliographic Details
Main Author: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Lecture notes in computer science ; 445.
Subjects:
Proof theory.
Description
Physical Description:viii, 180 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540528490 (Springer-Verlag Berlin Heidelberg New York) :
0387528490 (Spring-Verlag New York Berlin Heidelberg)