skip to content
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968 Preview this item
ClosePreview this item
Checking...

Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968

Author: A Kino; John Myhill; Richard Eugene Vesley; State University College at Buffalo,
Publisher: Amsterdam ; London : North-Holland Publishing Company, 1970.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Conference papers and proceedings
Kongress
Congresses
Congrès
Additional Physical Format: Online version:
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo).
Intuitionism and proof theory.
Amsterdam, North-Holland Pub. Co., 1970
(OCoLC)560236093
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: A Kino; John Myhill; Richard Eugene Vesley; State University College at Buffalo,
ISBN: 0720422574 9780720422573
OCLC Number: 103466
Description: viii, 516 pages ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics.
Responsibility: edited by A. Kino, J. Myhill and R. E. Vesley.

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/103466> # Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "103466" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://dewey.info/class/164/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/preuve_theorie_de_la_congres> ; # Preuve, Théorie de la--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.worldcat.org/fast/977860> ; # Intuitionistic mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/intuitionistische_mathematik> ; # Intuitionistische Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/intuitionisme> ; # Intuïtionisme
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/mathematiques_intuitionnistes_congres> ; # Mathématiques intuitionnistes--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/118395030#Topic/beweistheorie> ; # Beweistheorie
    schema:about <http://id.loc.gov/authorities/subjects/sh85067656> ; # Intuitionistic mathematics
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/118395030#Organization/state_university_college_at_buffalo> ; # State University College at Buffalo,
    schema:creator <http://experiment.worldcat.org/entity/work/data/118395030#Meeting/conference_on_intuitionism_and_proof_theory_1968_state_university_of_new_york_at_buffalo> ; # Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
    schema:datePublished "1970" ;
    schema:editor <http://viaf.org/viaf/93146830> ; # Richard Eugene Vesley
    schema:editor <http://viaf.org/viaf/163202791> ; # A. Kino
    schema:editor <http://experiment.worldcat.org/entity/work/data/118395030#Person/myhill_john_1923_1987> ; # John Myhill
    schema:exampleOfWork <http://worldcat.org/entity/work/id/118395030> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/118395030#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/560236093> ;
    schema:name "Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968"@en ;
    schema:productID "103466" ;
    schema:workExample <http://worldcat.org/isbn/9780720422573> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/103466> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/118395030#Meeting/conference_on_intuitionism_and_proof_theory_1968_state_university_of_new_york_at_buffalo> # Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/118395030#Place/state_university_of_new_york_at_buffalo> ; # State University of New York at Buffalo)
    schema:name "Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Organization/state_university_college_at_buffalo> # State University College at Buffalo,
    a schema:Organization ;
    schema:name "State University College at Buffalo," ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Person/myhill_john_1923_1987> # John Myhill
    a schema:Person ;
    schema:birthDate "1923" ;
    schema:deathDate "1987," ;
    schema:familyName "Myhill" ;
    schema:givenName "John" ;
    schema:name "John Myhill" ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Place/state_university_of_new_york_at_buffalo> # State University of New York at Buffalo)
    a schema:Place ;
    schema:name "State University of New York at Buffalo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/103466> ; # Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968
    schema:name "Studies in logic and the foundations of mathematics." ;
    schema:name "Studies in logic and the foundations of mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Topic/intuitionistische_mathematik> # Intuitionistische Mathematik
    a schema:Intangible ;
    schema:name "Intuitionistische Mathematik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Topic/mathematiques_intuitionnistes_congres> # Mathématiques intuitionnistes--Congrès
    a schema:Intangible ;
    schema:name "Mathématiques intuitionnistes--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/118395030#Topic/preuve_theorie_de_la_congres> # Preuve, Théorie de la--Congrès
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la--Congrès"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85067656> # Intuitionistic mathematics
    a schema:Intangible ;
    schema:name "Intuitionistic mathematics"@en ;
    .

<http://id.worldcat.org/fast/977860> # Intuitionistic mathematics
    a schema:Intangible ;
    schema:name "Intuitionistic mathematics"@en ;
    .

<http://viaf.org/viaf/163202791> # A. Kino
    a schema:Person ;
    schema:familyName "Kino" ;
    schema:givenName "A." ;
    schema:name "A. Kino" ;
    .

<http://viaf.org/viaf/93146830> # Richard Eugene Vesley
    a schema:Person ;
    schema:birthDate "1932" ;
    schema:familyName "Vesley" ;
    schema:givenName "Richard Eugene" ;
    schema:name "Richard Eugene Vesley" ;
    .

<http://worldcat.org/isbn/9780720422573>
    a schema:ProductModel ;
    schema:isbn "0720422574" ;
    schema:isbn "9780720422573" ;
    .

<http://www.worldcat.org/oclc/560236093>
    a schema:CreativeWork ;
    rdfs:label "Intuitionism and proof theory." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/103466> ; # Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968
    .

<http://www.worldcat.org/title/-/oclc/103466>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/103466> ; # Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y. 1968
    schema:dateModified "2019-03-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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