Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/118480 Title: Frege and Gödel; two fundamental texts in mathematical logic. Author: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege Publisher: Cambridge, Mass., Harvard University Press, 1970. ISBN/ISSN: 0674318447 9780674318441 0674318455 9780674318458 OCLC:118480

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Frege and Gödel; two fundamental texts in mathematical logic.

Preview this item

Frege and Gödel; two fundamental texts in mathematical logic.

Author:	Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
Publisher:	Cambridge, Mass., Harvard University Press, 1970.
Edition/Format:	Book : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.

Borrow / obtain a copy

Find a copy online

Links to this item

Table of contents

Find a copy in the library

Finding libraries that hold this item...

Details

Additional Physical Format:	Online version: Van Heijenoort, Jean, 1912-1986. Frege and Gödel. Cambridge, Mass., Harvard University Press, 1970 (OCoLC)679547381
Material Type:	Internet resource
Document Type:	Book, Internet Resource
All Authors / Contributors:	Jean Van Heijenoort; Kurt Gödel; Gottlob Frege Find more information about:
ISBN:	0674318447 9780674318441 0674318455 9780674318458
OCLC Number:	118480
Notes:	"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Description:	116 p. illus. 26 cm.
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. Gödel.--Bibliography (p. [111]-116).

Reviews

User-contributed reviews

Linked Data

More info about Linked Data

<http://www.worldcat.org/oclc/118480>

library:oclcnum

"118480"

library:placeOfPublication

<http://id.loc.gov/vocabulary/countries/mau>

rdf:type

schema:Country

library:placeOfPublication

rdf:type	schema:Place
schema:name	"Cambridge, Mass."

owl:sameAs

<info:oclcnum/118480>

rdf:type

schema:Book

rdfs:seeAlso

<http://www.worldcat.org/isbn/0674318455>

owl:sameAs	<urn:isbn:0674318455>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"0674318455"
schema:model	<http://www.worldcat.org/oclc/118480>

rdfs:seeAlso

<http://www.worldcat.org/isbn/0674318447>

owl:sameAs	<urn:isbn:0674318447>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"0674318447"
schema:model	<http://www.worldcat.org/oclc/118480>

rdfs:seeAlso

<http://www.worldcat.org/isbn/9780674318458>

owl:sameAs	<urn:isbn:9780674318458>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"9780674318458"
schema:model	<http://www.worldcat.org/oclc/118480>

rdfs:seeAlso

<http://www.worldcat.org/isbn/9780674318441>

owl:sameAs	<urn:isbn:9780674318441>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"9780674318441"
schema:model	<http://www.worldcat.org/oclc/118480>

schema:about

rdf:type	schema:Intangible
schema:name	"Logique symbolique et mathématique."

schema:about

<http://id.worldcat.org/fast/1012213>

rdf:type	schema:Intangible
schema:name	"Mathematics--Philosophy"

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85082153>
rdf:type	schema:Intangible
schema:name	"Mathematics--Philosophy."

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85078115>
rdf:type	schema:Intangible
schema:name	"Logic, Symbolic and mathematical."

schema:about

<http://id.worldcat.org/fast/1002068>

rdf:type	schema:Intangible
schema:name	"Logic, Symbolic and mathematical"

schema:about

rdf:type	schema:Intangible
schema:name	"Arithmétique--Fondements."

schema:about

<http://dewey.info/class/511.3/e18/>

rdf:type

schema:Intangible

schema:about

rdf:type	schema:Intangible
schema:name	"Logique symbolique et mathématique."

schema:about

<http://dewey.info/class/164/>

rdf:type

schema:Intangible

schema:about

rdf:type	schema:Intangible
schema:name	"Arithmétique--Fondements."

schema:author

<http://viaf.org/viaf/92795306>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n50044937>
rdf:type	schema:Person
rdfs:label	"Van Heijenoort, Jean, 1912-1986,"

schema:contributor

<http://viaf.org/viaf/97851774>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n79007770>
rdf:type	schema:Person
rdfs:label	"Gödel, Kurt."

schema:contributor

<http://viaf.org/viaf/51689723>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n79117996>
rdf:type	schema:Person
rdfs:label	"Frege, Gottlob, 1848-1925."

schema:datePublished

"1970"

schema:description

"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)."

schema:inLanguage

"en"

schema:name

"Frege and Gödel; two fundamental texts in mathematical logic."

schema:numberOfPages

"116"

schema:publisher

rdf:type	schema:Organization
schema:name	"Harvard University Press"

Please sign in to WorldCat

Don't have an account? You can easily create a free account.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search

More like this

Subjects

Similar Items

Frege and Gödel; two fundamental texts in mathematical logic.

Find a copy online

Links to this item

Find a copy in the library

Details

Reviews

Tags

Similar Items

Related Subjects:(4)

Linked Data