skip to content
Van Heijenoort, Jean, papers, 1946-1988. Preview this item
ClosePreview this item
Checking...

Van Heijenoort, Jean, papers, 1946-1988.

Author: Jean Van Heijenoort
Edition/Format:   Archival material : English
Publication:Archives of American Mathematics.
Database:WorldCat
Summary:
Collection documents the career of Jean van Heijenoort (1912-1986) in mathematical logic and its history.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Archives
Named Person: Alonzo Church; Burton Dreben; Kurt Godel; Stephen Cole Kleene; Roger Martin; Charles Dacre Parsons; W V Quine; Jean Van Heijenoort
Document Type: Archival Material
All Authors / Contributors: Jean Van Heijenoort
OCLC Number: 19504475
Description: 16 ft.
More information:

Abstract:

Collection documents the career of Jean van Heijenoort (1912-1986) in mathematical logic and its history.

The papers contain a set of van Heijenoort's reprints and manuscripts of published papers, together with unpublished manuscripts, lectures, and research notes (3 ft.). Reprints, preprints, and photocopied manuscripts of others, some annotated and some with letters from the authors, are included (5 ft.). Also included are correspondence and manuscripts related to van Heijenoort's editing of From Frege to Godel: a source book in mathematical logic, 1879-1931 (1967) (7 ft.). Correspondence includes letters from A. Church, B. Dreben, K. Godel, S.C. Kleene, R. Martin, C. Parsons, W.V. Quine, and T. Skolem.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/19504475>
library:oclcnum"19504475"
library:placeOfPublication
owl:sameAs<info:oclcnum/19504475>
rdf:typeschema:CreativeWork
rdf:typelibrary:ArchiveMaterial
schema:about
schema:about
schema:about
schema:about
<http://viaf.org/viaf/92795306>
rdf:typeschema:Person
schema:birthDate"1912"
schema:deathDate"1986"
schema:familyName"Van Heijenoort"
schema:givenName"Jean"
schema:name"Van Heijenoort, Jean, 1912-1986"
schema:name"Van Heijenoort, Jean, 1912-1986."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.loc.gov/authorities/subjects/sh85078115>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical--History."@en
schema:name"Logic, Symbolic and mathematical."@en
schema:about
schema:about
schema:about
schema:about
schema:creator
<http://viaf.org/viaf/92795306>
rdf:typeschema:Person
schema:birthDate"1912"
schema:deathDate"1986"
schema:familyName"Van Heijenoort"
schema:givenName"Jean"
schema:name"Van Heijenoort, Jean, 1912-1986"
schema:name"Van Heijenoort, Jean, 1912-1986."
schema:description"Collection documents the career of Jean van Heijenoort (1912-1986) in mathematical logic and its history."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/21157084>
schema:genre"History"@en
schema:genre"Archives"@en
schema:inLanguage"en"
schema:name"Van Heijenoort, Jean, papers,"@en
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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