Accueil

Page d’accueil de WorldCat À propos de WorldCat Aide Recevez des nouvelles par courriel Commentaires

Chercher

Chercher des ouvrages Chercher des listes Chercher des contacts Chercher une bibliothèque

Créez des listes et des bibliographies, et écrivez des critiques: ou

Citer/exporter

Citer/exporter

Copier une référence bibliographique

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Exporter une référence bibliographique
Exporter vers RefWorks Exporter vers EndNote / Reference Manager Exporter vers EasyBib Annuler
Note : Les références bibliographiques sont basées sur les styles normalisés. Toutefois, les règles de formatage d'un style peuvent varier selon les applications et les champs d’intérêt ou d’étude. Les règles d’édition ou préférences de votre éditeur, professeur, établissement ou entreprise devraient être appliquées.
Imprimer
Courriel

Courriel

Toutes les zones sont obligatoires.

Vous devez inscrire l’adresse électronique du ou des destinataires.

La ou les adresses électroniques inscrites ne sont pas dans un format valide. Veuillez réinscrire les adresses.

Vous pouvez envoyer cet ouvrage à un maximum de cinq personnes.
Inscrivez les adresses électroniques des destinataires : Séparez les adresses (jusqu’à 5) par une virgule (,)
Vous devez inscrire votre nom.
Inscrivez votre nom : Vous devez inscrire un sujet. Sujet :
Vous devez inscrire un message.
Message : J’ai pensé que vous seriez peut-être intéressé par cet ouvrage au http://www.worldcat.org/oclc/103466 Titre: Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Auteur: A Kino; John Myhill; Richard Eugene Vesley; State University College at Buffalo Éditeur: Amsterdam, North-Holland Pub. Co., 1970. ISBN/ISSN: 0720422574 9780720422573 OCLC:103466

Les mots ReCaptcha que vous avez inscrits étaient incorrects. Veuillez essayer de reproduire les deux mots affichés dans la fenêtre ou essayer la version audio.

Annuler
Partager
Permalien

Permalien

Copiez cette URL pour vous reliez à cette page :

Écrire une critique
Évaluez cet ouvrage :
- 1
- 2
- 3
- 4
- 5

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

Aperçu de cet ouvrage

Plus comme ceci

Sujets

Ouvrages semblables

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

Auteur :	A Kino; John Myhill; Richard Eugene Vesley; State University College at Buffalo.
Éditeur :	Amsterdam, North-Holland Pub. Co., 1970.
Collection :	Studies in logic and the foundations of mathematics.
Édition/format :	Livre : Publication de conférence : AnglaisVoir toutes les éditions et les formats
Évaluation :	(pas encore évalué) 0 avec des critiques - Soyez le premier.

Emprunter / obtenir un exemplaire

Trouver un exemplaire dans la bibliothèque

Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme :	Kongress Congresses Congrès
Format – détails additionnels :	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
Type d’ouvrage :	Publication de conférence
Format :	Livre
Tous les auteurs / collaborateurs :	A Kino; John Myhill; Richard Eugene Vesley; State University College at Buffalo. Trouver plus d’informations sur :
ISBN :	0720422574 9780720422573
Numéro OCLC :	103466
Description :	viii, 516 p. 23 cm.
Titre de collection :	Studies in logic and the foundations of mathematics.
Responsabilité :	Edited by A. Kino, J. Myhill and R.E. Vesley.

Critiques

Critiques d’utilisateurs

Ouvrages semblables

Sujets associés :(12)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées

Plus de détails sur les données liées

<http://www.worldcat.org/oclc/103466>

library:oclcnum

"103466"

library:placeOfPublication

rdf:type	schema:Place
schema:name	"Amsterdam"

library:placeOfPublication

<http://id.loc.gov/vocabulary/countries/ne>

rdf:type

schema:Country

owl:sameAs

<info:oclcnum/103466>

rdf:type

schema:Book

rdfs:seeAlso

<http://www.worldcat.org/isbn/9780720422573>

owl:sameAs	<urn:isbn:9780720422573>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"9780720422573"
schema:model	<http://www.worldcat.org/oclc/103466>

rdfs:seeAlso

<http://www.worldcat.org/isbn/0720422574>

owl:sameAs	<urn:isbn:0720422574>
rdf:type	schema:ProductModel
rdf:type	schema:CreativeWork
schema:isbn	"0720422574"
schema:model	<http://www.worldcat.org/oclc/103466>

schema:about

rdf:type	schema:Intangible
schema:name	"nombre ordinal."

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85067656>
rdf:type	schema:Intangible
schema:name	"Intuitionistic mathematics"

schema:about

rdf:type	schema:Intangible
schema:name	"théorie nombre."

schema:about

rdf:type	schema:Intangible
schema:name	"Mathématiques intuitionnistes--Congrès."

schema:about

<http://dewey.info/class/164/>

rdf:type

schema:Intangible

schema:about

rdf:type	schema:Intangible
schema:name	"Logique symbolique et mathématique"

schema:about

rdf:type	schema:Intangible
schema:name	"intuitionnisme."

schema:about

rdf:type	schema:Intangible
schema:name	"déduction."

schema:about

<http://id.worldcat.org/fast/977860>

rdf:type	schema:Intangible
schema:name	"Intuitionistic mathematics"

schema:about

rdf:type	schema:Intangible
schema:name	"Intuïtionisme."

schema:about

<http://id.loc.gov/authorities/classification/BC135>

rdf:type

schema:Intangible

schema:about

rdf:type	schema:Intangible
schema:name	"Intuitionistische Mathematik."

schema:about

rdf:type	schema:Intangible
schema:name	"fondement mathématique."

schema:about

rdf:type	schema:Intangible
schema:name	"Beweistheorie."

schema:about

rdf:type	schema:Intangible
schema:name	"Preuve, Théorie de la--Congrès."

schema:author

rdf:type	schema:Organization
schema:name	"Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)"

schema:contributor

<http://viaf.org/viaf/150083793>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n79062912>
rdf:type	schema:Organization
schema:name	"State University College at Buffalo."

schema:contributor

<http://viaf.org/viaf/94187790>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n2002022184>
rdf:type	schema:Person
rdfs:label	"Myhill, John,"

schema:contributor

<http://viaf.org/viaf/93146830>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n88646753>
rdf:type	schema:Person
rdfs:label	"Vesley, Richard Eugene, 1932-"

schema:contributor

<http://viaf.org/viaf/163202791>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n88646750>
rdf:type	schema:Person
rdfs:label	"Kino, A.,"

schema:datePublished

"1970"

schema:inLanguage

"en"

schema:name

"Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968."

schema:numberOfPages

"516"

schema:publisher

rdf:type	schema:Organization
schema:name	"North-Holland Pub. Co."

Veuillez vous identifier dans WorldCat

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.

Vous :	Identifiez-vous \| Inscrivez-vous \| Mon WorldCat \| Mes listes \| Mes listes surveillées \| Mes critiques \| Mes tags \| Mes recherches enregistrées
WorldCat :	Accueil \| À propos \| Aide \| Recevez des nouvelles par courriel \| Commentaires \| Chercher

Plus comme ceci

Sujets

Ouvrages semblables

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

Trouver un exemplaire dans la bibliothèque

Détails

Critiques

Tags

Ouvrages semblables

Sujets associés :(12)

Données liées