An edition of Frege and Gödel (1970)

Frege and Gödel

two fundamental texts in mathematical logic.

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

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

Buy this book

Last edited by ImportBot
November 9, 2021 | History
An edition of Frege and Gödel (1970)

Frege and Gödel

two fundamental texts in mathematical logic.

  • 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
Language
English
Pages
116

Buy this book

Previews available in: English

Edition Availability
Cover of: Frege and Gödel
Frege and Gödel: two fundamental texts in mathematical logic.
1970, Harvard University Press
in English

Add another edition?

Book Details


Table of Contents

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.
Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.
Bibliography (p. [111]-116)

Edition Notes

"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."

Published in
Cambridge, Mass

Classifications

Dewey Decimal Class
164
Library of Congress
QA9 .V28, QA9

The Physical Object

Pagination
116 p.
Number of pages
116

ID Numbers

Open Library
OL5756484M
Internet Archive
fregegodeltwofun0000unse
ISBN 10
0674318447
LCCN
71116736
Library Thing
2319879
Goodreads
5044880

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
November 9, 2021 Edited by ImportBot import existing book
August 18, 2020 Edited by ImportBot import existing book
March 29, 2019 Edited by ImportBot import existing book
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page