skip to content
Intuitionnisme et théorie de la démonstration Preview this item
ClosePreview this item
Checking...

Intuitionnisme et théorie de la démonstration

Author: Jean Largeault; et al
Publisher: Paris : Librairie J. Vrin, 1992.
Series: Mathesis
Edition/Format:   Print book : FrenchView 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

Document Type: Book
All Authors / Contributors: Jean Largeault; et al
ISBN: 2711610594 9782711610594
OCLC Number: 401463235
Description: 566 p. ; 21 cm.
Series Title: Mathesis
Responsibility: textes de Bernays, Brouwer, Gentzen ... [et al.] ; réunis, trad. et présentés par Jean Largeault.
More information:

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/401463235> # Intuitionnisme et théorie de la démonstration
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "401463235" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/140504#Place/paris> ; # Paris
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
   schema:about <http://dewey.info/class/510/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_fondements> ; # Mathématiques--Fondements
   schema:about <http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_intuitionnistes> ; # Mathématiques intuitionnistes
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/140504#Person/largeault_jean_1930_1995> ; # Jean Largeault
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/140504> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/140504#Series/mathesis> ; # Mathesis
   schema:name "Intuitionnisme et théorie de la démonstration"@fr ;
   schema:numberOfPages "566" ;
   schema:productID "401463235" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/401463235#PublicationEvent/paris_librairie_j_vrin_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/140504#Agent/librairie_j_vrin> ; # Librairie J. Vrin
   schema:workExample <http://worldcat.org/isbn/9782711610594> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/401463235> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/140504#Agent/librairie_j_vrin> # Librairie J. Vrin
    a bgn:Agent ;
   schema:name "Librairie J. Vrin" ;
    .

<http://experiment.worldcat.org/entity/work/data/140504#Person/largeault_jean_1930_1995> # Jean Largeault
    a schema:Person ;
   schema:birthDate "1930" ;
   schema:deathDate "1995" ;
   schema:familyName "Largeault" ;
   schema:givenName "Jean" ;
   schema:name "Jean Largeault" ;
    .

<http://experiment.worldcat.org/entity/work/data/140504#Series/mathesis> # Mathesis
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/401463235> ; # Intuitionnisme et théorie de la démonstration
   schema:name "Mathesis" ;
    .

<http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_fondements> # Mathématiques--Fondements
    a schema:Intangible ;
   schema:name "Mathématiques--Fondements"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_intuitionnistes> # Mathématiques intuitionnistes
    a schema:Intangible ;
   schema:name "Mathématiques intuitionnistes"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/140504#Topic/mathematiques_philosophie> # Mathématiques--Philosophie
    a schema:Intangible ;
   schema:name "Mathématiques--Philosophie"@fr ;
    .

<http://worldcat.org/isbn/9782711610594>
    a schema:ProductModel ;
   schema:isbn "2711610594" ;
   schema:isbn "9782711610594" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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