This book is currently unavailable on Open Library, check out available alternatives.
An edition of Bewijzen in de wiskunde (1989)

Bewijzen in de wiskunde
Bewijzen in de wiskunde
onder redactie van P.W.H. Lemm...
Bewijzen in de wiskunde by onder redactie van P.W.H. Lemmens.
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
March 11, 2019 | History
Edit
An edition of Bewijzen in de wiskunde (1989)

Bewijzen in de wiskunde

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Centrum voor Wiskunde en Informatica
Language
Dutch
Pages
87

Subjects

AUTOMATH (Formal language) Proof theory Automatic theorem proving
Edition Availability
Cover of: Bewijzen in de wiskunde
Bewijzen in de wiskunde
1989, Centrum voor Wiskunde en Informatica
in Dutch
  • Nearby Libraries

Add another edition?

Book Details

Table of Contents

Bewijzen in de wiskunde / A.F. Monna
Bewijzen, waarom en hoe / D. van Dalen
Machinale verificatie van redeneringen / N.G. de Bruijn.

Edition Notes

Includes bibliographical references.

Published in
Amsterdam
Series
CWI syllabus ;, 24

Classifications

Library of Congress
QA9.54 .B49 1989

The Physical Object

Pagination
87 p. :
Number of pages
87

Edition Identifiers

Open Library
OL1900455M
ISBN 10
9061963737
LCCN
90100876
OCLC/WorldCat
21031085

Work Identifiers

Work ID
OL19201690W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON