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


Primary Entity

<http://www.worldcat.org/oclc/19504475> # Van Heijenoort, Jean, papers,
    a schema:CreativeWork, library:ArchiveMaterial ;
   library:oclcnum "19504475" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/martin_roger> ; # Roger Martin
   schema:about <http://viaf.org/viaf/72671517> ; # Burton Dreben
   schema:about <http://viaf.org/viaf/92795306> ; # Jean Van Heijenoort
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/kleene_stephen_cole_1909_1994> ; # Stephen Cole Kleene
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://viaf.org/viaf/109830754> ; # Alonzo Church
   schema:about <http://viaf.org/viaf/27070554> ; # Willard Van Orman Quine
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/dreben_burton> ; # Burton Dreben
   schema:about <http://viaf.org/viaf/41901318> ; # Stephen Cole Kleene
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/van_heijenoort_jean_1912_1986> ; # Jean Van Heijenoort
   schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Topic/logic_symbolic_and_mathematical_history> ; # Logic, Symbolic and mathematical--History
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/parsons_charles_dacre> ; # Charles Dacre Parsons
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/quine_w_v_willard_van_orman> ; # Willard Van Orman Quine
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Godel
   schema:about <http://experiment.worldcat.org/entity/work/data/21157084#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:creator <http://viaf.org/viaf/92795306> ; # Jean Van Heijenoort
   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:productID "19504475" ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/19504475> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/21157084#Person/church_alonzo_1903_1995> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995" ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/dreben_burton> # Burton Dreben
    a schema:Person ;
   schema:familyName "Dreben" ;
   schema:givenName "Burton" ;
   schema:name "Burton Dreben" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/kleene_stephen_cole_1909_1994> # Stephen Cole Kleene
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "1994" ;
   schema:familyName "Kleene" ;
   schema:givenName "Stephen Cole" ;
   schema:name "Stephen Cole Kleene" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/martin_roger> # Roger Martin
    a schema:Person ;
   schema:familyName "Martin" ;
   schema:givenName "Roger" ;
   schema:name "Roger Martin" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/parsons_charles_dacre> # Charles Dacre Parsons
    a schema:Person ;
   schema:familyName "Parsons" ;
   schema:givenName "Charles Dacre" ;
   schema:name "Charles Dacre Parsons" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/quine_w_v_willard_van_orman> # Willard Van Orman Quine
    a schema:Person ;
   schema:familyName "Quine" ;
   schema:givenName "Willard Van Orman" ;
   schema:givenName "W. V." ;
   schema:name "Willard Van Orman Quine" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Person/van_heijenoort_jean_1912_1986> # Jean Van Heijenoort
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1986" ;
   schema:familyName "Van Heijenoort" ;
   schema:givenName "Jean" ;
   schema:name "Jean Van Heijenoort" ;
    .

<http://experiment.worldcat.org/entity/work/data/21157084#Topic/logic_symbolic_and_mathematical_history> # Logic, Symbolic and mathematical--History
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
   schema:name "Logic, Symbolic and mathematical--History"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/109830754> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995" ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<http://viaf.org/viaf/27070554> # Willard Van Orman Quine
    a schema:Person ;
   schema:familyName "Quine" ;
   schema:givenName "Willard Van Orman" ;
   schema:givenName "W. V." ;
   schema:name "Willard Van Orman Quine" ;
    .

<http://viaf.org/viaf/41901318> # Stephen Cole Kleene
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "1994" ;
   schema:familyName "Kleene" ;
   schema:givenName "Stephen Cole" ;
   schema:name "Stephen Cole Kleene" ;
    .

<http://viaf.org/viaf/72671517> # Burton Dreben
    a schema:Person ;
   schema:familyName "Dreben" ;
   schema:givenName "Burton" ;
   schema:name "Burton Dreben" ;
    .

<http://viaf.org/viaf/92795306> # Jean Van Heijenoort
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1986" ;
   schema:familyName "Van Heijenoort" ;
   schema:givenName "Jean" ;
   schema:name "Jean Van Heijenoort" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Godel
    a schema:Person ;
   schema:familyName "Godel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Godel" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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