On the shape of mathematical arguments

A.J.M. Gasteren, van

Research output: Book/Report › Book › Academic

Name	Lecture notes in computer science
Volume	445
ISSN (Print)	0302-9743

Access to Document

TY - BOOK

T1 - On the shape of mathematical arguments

AU - Gasteren, van, A.J.M.

PY - 1990

Y1 - 1990

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-47166-0

U2 - 10.1007/BFb0020908

DO - 10.1007/BFb0020908

M3 - Book

SN - 3-540-52849-0

T3 - Lecture notes in computer science

BT - On the shape of mathematical arguments

PB - Springer

CY - Berlin

ER -