doorgaan naar inhoud
Proof theory Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Proof theory

Auteur: Gaisi Takeuti
Uitgever: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
Serie: Studies in logic and the foundations of mathematics, vol. 81
Editie/Formaat:   Print book : Engels : 2. edAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC-nummer: 476872494
Opmerkingen: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Beschrijving: 490 s. : ill.
Serietitel: Studies in logic and the foundations of mathematics, vol. 81
Verantwoordelijkheid: Gaisi Takeuti

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<http://www.worldcat.org/oclc/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:isPartOf
schema:name"Proof theory"
schema:publication
<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
rdf:typeschema:PublicationEvent
schema:location
schema:location
schema:location
schema:organizer
schema:organizer
schema:startDate"1987"
schema:publisher
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.