WorldCat Identities

Heyting, A. (Arend) 1898-

Overview
Works: 91 works in 334 publications in 7 languages and 3,902 library holdings
Genres: Conference proceedings  Textbooks 
Roles: Editor, Contributor, Honoree, Correspondent, Other, Recipient, Author of introduction
Classifications: QA9, 511.3
Publication Timeline
Key
Publications about  A Heyting Publications about A Heyting
Publications by  A Heyting Publications by A Heyting
posthumous Publications by A Heyting, published posthumously.
Most widely held works about A Heyting
 
Most widely held works by A Heyting
Intuitionism; an introduction by A Heyting ( Book )
66 editions published between 1956 and 2000 in 4 languages and held by 1,228 WorldCat member libraries worldwide
Provability, Computability and Reflection
Axiomatic projective geometry by A Heyting ( Book )
28 editions published between 1963 and 1980 in English and Undetermined and held by 629 WorldCat member libraries worldwide
Collected works by L. E. J Brouwer ( Book )
18 editions published between 1975 and 1976 in 4 languages and held by 344 WorldCat member libraries worldwide
Constructivity in mathematics; proceedings by International Colloquium "Constructivity in Mathematics" ( Book )
3 editions published in 1959 in English and held by 262 WorldCat member libraries worldwide
Les fondements des mathématiques; intuitionnisme, théorie de la démonstration by A Heyting ( Book )
16 editions published in 1955 in 3 languages and held by 185 WorldCat member libraries worldwide
Logic and foundations of mathematics ( Book )
3 editions published in 1969 in English and held by 181 WorldCat member libraries worldwide
Mathematische grundlagenforschung: intuitionismus, beweistheorie by A Heyting ( Book )
21 editions published between 1934 and 1974 in 3 languages and held by 154 WorldCat member libraries worldwide
Mathematical logic by Petio Petrov Petkov ( Book )
5 editions published in 1990 in English and held by 125 WorldCat member libraries worldwide
Logic and foundations of mathematics ( Book )
18 editions published between 1968 and 1969 in 3 languages and held by 106 WorldCat member libraries worldwide
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 by A Heyting ( Book )
13 editions published in 1959 in English and held by 83 WorldCat member libraries worldwide
Untersuchung über intuitionistische Algebra by A Heyting ( Book )
8 editions published in 1941 in German and English and held by 52 WorldCat member libraries worldwide
Projectieve meetkunde by A Heyting ( Book )
7 editions published between 1963 and 1986 in Dutch and held by 41 WorldCat member libraries worldwide
Le raisonnement en mathématiques et en sciences expérimentales by Centre national de la recherche scientifique (France) ( Book )
1 edition published in 1958 in French and held by 37 WorldCat member libraries worldwide
Collected works by L. E. J Brouwer ( Book )
11 editions published between 1975 and 1980 in English and Undetermined and held by 37 WorldCat member libraries worldwide
Philosophie mathématique by Ferdinand Gonseth ( Book )
2 editions published in 1939 in French and held by 29 WorldCat member libraries worldwide
Matrices en determinanten by A Heyting ( Book )
2 editions published in 1946 in Dutch and held by 25 WorldCat member libraries worldwide
Intuitionistische axiomatiek der projectieve meetkunde by A Heyting ( Book )
5 editions published in 1925 in Dutch and held by 24 WorldCat member libraries worldwide
Introducción al intuicionismo by A Heyting ( Book )
3 editions published in 1976 in Spanish and held by 10 WorldCat member libraries worldwide
Spanningen in de wiskunde by A Heyting ( Book )
1 edition published in 1949 in Dutch and held by 10 WorldCat member libraries worldwide
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968) by Genootschap voor wetenschappelijke philosophie (Pays-Bas) ( Book )
2 editions published in 1968 in Dutch and held by 9 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.33 for Projectiev ... to 0.94 for Intuitioni ...)
Alternative Names
Gejting, A.
Heyting, A.
Heyting, A. 1898-1980
Heyting, Arend
Heyting, Arend 1898-
Гейтинг, А 1898-1980
Languages
English (154)
German (26)
Dutch (19)
French (15)
Spanish (4)
Italian (2)
Multiple languages (1)