Heyting, Arend (1898-1980) Amélioration Assistance
027663426
Notice de type Personne

Forme retenue

Heyting, Arend (1898-1980)

Information

Langue d'expression : néerlandais; flamand , allemand , anglais
Pays : PAYS-BAS
Date de naissance : 09 05 1898
Date de mort : 09 07 1980
Sexe : masculin

Source

GLU


Internet, http://www-groups.dcs.st-and.ac.uk/history/Mathematicians, 27-01-2005

Information trouvée :Arend Heyting (Né le 9 Mai 1898 à Amsterdam, Pays-Bas, Mort le 9 Juillet 1980 à Lugano, Suisse)


Intuitionism / A. Heyting, 1980


Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie / A. Heyting, 1934

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : 031968120
En cours : frBN00197855X
En cours : frBN00892100X
En cours : FRBNF123086778
Identifiant supprimé ou invalide : FRBNF12308677

Notices bibliographiques liées :3 rôle(s)

070 Auteur ( 13 )
340 Editeur scientifique ( 3 )
990 Sujet ( 2 )



Auteur :

Rôles ?



160774306 : Logique [Texte imprimé] / Robert Blanché, Julien Dopp, A. Heyting... [et al.] / Paris : PUF , 1956

112251072 : Intuitionistische axiomatiek der projectieve meetkunde [Texte imprimé] / Arend Heyting / Groningen : P. Noordhoff , 1925

012733202 : Mathematische Grundlagenforschung [Texte imprimé] : Intuitionismus, Beweistheorie / von A. Heyting / Berlin : J. Springer , 1934

166806455 : De ontwikkeling van de intuitionistische wiskunde [Texte imprimé] / Arend Heyting / Groningen : Noordhoff , 1936

095295917 : Untersuchungen uber intuitiontische algebra [Texte imprimé] : Eerste sectie, Deel XVIII, N°2 / Dr A. Heyting / Amsterdam : N.V Noord Hollandsche Uitgevers Maatschappij , 1941

007627718 : Les fondements des mathématiques [Texte imprimé] : intuitionnisme : théorie de la démonstration / par A. Heyting,... / Paris : Gauthier-Villars , 1955

012086371 : Intuitionism [Texte imprimé] : an introduction / A. Heyting,... / Amsterdam : North-Holland Publ. , 1956, cop. 1956

009516298 : Le raisonnement en mathématiques et en sciences expérimentales [Texte imprimé] : [actes du Colloque international de logique mathématique] / Colloques internationaux du Centre national de la recherche scientifique ; [président du comité d'organisation : M. Albert Châtelet,...] / Paris : Centre national de la recherche scientifique = CNRS , 1958

01651002X : Mathematische Grundlagenforschung [Texte imprimé] : Intuitionismus, Beweistheorie / A. Heyting / Berlin : Springer , 1974

019602197 : Axiomatic projective geometry [Texte imprimé] / by A. Heyting / 2d ed. / Groningen : P. Noordhoff , 1980

006521053 : Axiomatic projective geometry [Texte imprimé] / by A. Heyting,... / Amsterdam : North-Holland , [1963?]

004914392 : Intuitionism [Texte imprimé] : an introduction / A. Heyting,.. / 2nd rev. ed / Amsterdam : North-Holland , cop. 1966

009157778 : Intuitionism [Texte imprimé] : an introduction / A. Heyting,... / [3rd revised ed.] / Amsterdam : North-Holland , cop. 1971



Editeur scientifique :

Rôles ?



022770127 : L.E.J. Brouwer collected works 1, Philosophy and foundations of mathematics [Texte imprimé] / L. E. J. Brouwer / Amsterdam : North Holland Publishing , 1975

001720414 : Collected works 1, Philosophy and foundations of mathematics [Texte imprimé] / L.E.J. Brouwer ; edited by A. Heyting / Amsterdam : North-Holland , 1975

005482399 : Constructivity in mathematics [Texte imprimé] : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting,... / Amsterdam : North-Holland , cop. 1959



Sujet :

Rôles ?



004897714 : Logic and foundations of mathematics [Texte imprimé] : papers dedicated to Prof. A. Heyting on his 70th birthday / ed. by D. Van Dalen, J. G. Dijkman, S. C. Kleene, [et al...] / Groningen : Wolters-Noordhoff , 1968

006404782 : Semantical investigations in Heyting's intuitionistic logic [Texte imprimé] / Dov M. Gabbay,... / Dordrecht : D. Reidel , cop. 1981


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance