The foundations of intuitionistic mathematics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read


Download Options

Buy this book

Last edited by MARC Bot
June 30, 2019 | History

The foundations of intuitionistic mathematics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
North-Holland
Language
English
Pages
206

Buy this book

Previews available in: English

Edition Availability
Cover of: The foundations of intuitionistic mathematics
The foundations of intuitionistic mathematics
1965, North-Holland
electronic resource / in English

Add another edition?

Book Details


Table of Contents

Formal system of intuitionistic analysis / S.C. Kleene
Various notions of realizability / S.C. Kleene
Intuitionistic continuum / Richard E. Vesley
On order in the continuum / S.C. Kleene.

Edition Notes

Includes bibliographical references and index.

Description based on print version record.

Published in
Amsterdam
Series
Studies in Logic and the Foundations of Mathematics -- v. 39, Studies in logic and the foundations of mathematics -- v. 39.

Classifications

Dewey Decimal Class
511.3/6
Library of Congress
QA9.47 .F68 1965

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (vi, 206 p.)
Number of pages
206

ID Numbers

Open Library
OL27039627M
Internet Archive
foundationsintui00klee_376
ISBN 10
0444534040
ISBN 13
9780444534040
OCLC/WorldCat
428097421

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
June 30, 2019 Created by MARC Bot Imported from Internet Archive item record.