An edition of Outlines of a formalist philosophy of mathematics (1951)

Outlines of a formalist philosophy of mathematics

by Haskell B. Curry

Locate

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by ImportBot

March 28, 2025 | History

Edit

An edition of Outlines of a formalist philosophy of mathematics (1951)

Outlines of a formalist philosophy of mathematics

Edition	Availability
1 Outlines of a formalist philosophy of mathematics 1951, Elsevier Science electronic resource / in English 0444533680 9780444533685	aaaa Locate

Book Details

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.

Published in: Amsterdam
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

ScienceDirect

The Physical Object

Format: [electronic resource] /
Pagination: 1 online resource.

Edition Identifiers

Open Library: OL27079476M
ISBN 10: 0444533680
ISBN 13: 9780444533685
OCLC/WorldCat: 428097395

Work Identifiers

Work ID: OL19893146W

Source records

Internet Archive item record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created July 6, 2019
2 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

March 28, 2025	Edited by ImportBot	Redacting ocaids
July 6, 2019	Created by MARC Bot	Imported from Internet Archive item record

Outlines of a formalist philosophy of mathematics

by Haskell B. Curry