Outlines of a formalist philosophy of 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
July 6, 2019 | History

Outlines of a formalist philosophy of 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
Elsevier Science
Language
English

Buy this book

Previews available in: English

Edition Availability
Cover of: Outlines of a formalist philosophy of mathematics
Outlines of a formalist philosophy of mathematics
1951, Elsevier Science
electronic resource / in English

Add another edition?

Book Details


Published in

Amsterdam

Edition Notes

Problem of mathematical truth-Idealistic views of mathematics-Definition and structure of a formal system-Examples of formal systems-Ontological discussion of a formal system-Reduction of a formal system-Formal systems and syntax-Metatheory-Formalist definition of mathematics-Truth and acceptability-Mathematics and logic.

Description based on print version record.

Series
Studies in logic and the foundations of mathematics -- v. 3, Studies in logic and the foundations of mathematics -- v. 3.

Classifications

Dewey Decimal Class
510.1
Library of Congress
QA8.4 .O98 1951

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource.

ID Numbers

Open Library
OL27079476M
Internet Archive
outlinesformalis00bekl
ISBN 10
0444533680
ISBN 13
9780444533685
OCLC/WorldCat
428097395

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
July 6, 2019 Created by MARC Bot import new book