WorldCat Identities

Heyting, A. (Arend) 1898-

Overview
Works: 100 works in 430 publications in 8 languages and 4,326 library holdings
Genres: Conference papers and proceedings  Textbooks 
Roles: Author, Editor, Contributor, Honoree, Correspondent, Other, Recipient, Author of introduction
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about A Heyting
 
Most widely held works by A Heyting
Intuitionism; an introduction by A Heyting( Book )

87 editions published between 1956 and 1980 in 5 languages and held by 1,080 WorldCat member libraries worldwide

Constructivity in mathematics : proceedings by A Heyting( Book )

22 editions published in 1959 in 4 languages and held by 355 WorldCat member libraries worldwide

Provability, Computability and Reflection
Collected works by L. E. J Brouwer( Book )

19 editions published between 1975 and 1976 in 4 languages and held by 351 WorldCat member libraries worldwide

Logic and foundations of mathematics by A Heyting( Book )

22 editions published between 1968 and 1969 in 3 languages and held by 288 WorldCat member libraries worldwide

Les fondements des mathématiques; intuitionnisme, théorie de la démonstration by A Heyting( Book )

17 editions published in 1955 in French and English and held by 195 WorldCat member libraries worldwide

Mathematische grundlagenforschung: intuitionismus, beweistheorie by A Heyting( Book )

26 editions published between 1934 and 1974 in 3 languages and held by 177 WorldCat member libraries worldwide

Mathematical logic by Petio Petrov Petkov( Book )

7 editions published between 1989 and 1990 in English and held by 121 WorldCat member libraries worldwide

Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90th anniversary. It was organized by Sofia University "Kliment Ohridski" on the occasion of its centenary and by the Bulgarian Academy of Sciences, with sponsorship of the Association for Symbolic Logic. The Meeting gathered some 115 participants from 19 countries. The present volume consists of invited and selected papers. Included are all the invited lectures submitted for publication and the 14 selected contributions, chosen out of 56 submissions by the Selection Committee. The selection was made on the basis of reports of PC members, an average of 4 per sLlbmission. All the papers are concentrated on the topics of the Meeting: Recursion Theory, Modal and Non-classical Logics, Intuitionism and Constructivism, Related Applications to Computer and Other Sciences, Life and Work of Arend Heyting. I am pleased to thank all persons and institutions that contributed to the success of the Meeting: sponsors, Programme Committee members and additional referees, the members of the Organizing Committee, our secretaries K. Lozanova and L. Nikolova, as well as K. Angelov, V. Bozhichkova, A. Ditchev, D. Dobrev, N. Dimitrov, R. Draganova, G. Gargov, N. Georgieva, M. Janchev, P. Marinov, S. Nikolova, S. Radev, I. Soskov, A. Soskova and v. Sotirov, who helped in the organization, Plenum Press and at last but not least all participants in the Meeting and contributors to this volume
Collected works by L. E. J Brouwer( Book )

17 editions published between 1975 and 1980 in 3 languages and held by 57 WorldCat member libraries worldwide

Untersuchung über intuitionistische Algebra by A Heyting( Book )

10 editions published in 1941 in 3 languages and held by 55 WorldCat member libraries worldwide

Projectieve meetkunde by A Heyting( Book )

10 editions published between 1961 and 1986 in Dutch and held by 43 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 36 WorldCat member libraries worldwide

Intuitionistische axiomatiek der projectieve meetkunde by A Heyting( Book )

8 editions published in 1925 in Dutch and held by 30 WorldCat member libraries worldwide

Matrices en determinanten by A Heyting( Book )

2 editions published in 1946 in Dutch and held by 28 WorldCat member libraries worldwide

Philosophie mathématique by Ferdinand Gonseth( Book )

2 editions published in 1939 in French and held by 28 WorldCat member libraries worldwide

Introducción al intuicionismo by A Heyting( Book )

4 editions published in 1976 in Spanish and held by 18 WorldCat member libraries worldwide

Collected works. Geometry, analysis, topology and mechanics. Edited by Hans Freudenthal by L. E. J Brouwer( Book )

7 editions published between 1975 and 1976 in English and Multiple languages and held by 13 WorldCat member libraries worldwide

Intuicionizm : Vvedenie. Perevod s anglijskogo V. A. Jankova. Pod red. i s kommentarijami A. A. Markova by A Heyting( Book )

7 editions published in 1965 in Russian and Undetermined and held by 11 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

Philosophy and foundations of mathematics by L. E. J Brouwer( Book )

8 editions published between 1975 and 2014 in English and French and held by 6 WorldCat member libraries worldwide

Axiomatic projective geometry. by A Heyting( Book )

3 editions published in 1980 in English and Undetermined and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.59 for Intuitioni ... to 0.98 for Collected ...)

Alternative Names
Arend Heyting Dutch mathematician and logician

Arend Heyting matematico e logico olandese

Arend Heyting nederlandsk matematikar

Arend Heyting nederländsk matematiker

Arend Heyting niederländischer Mathematiker

Gejting, A.

Gejting, A. 1898-1980

Heijting, Arend 1898-1980

Heyting, A.

Heyting, A. 1898-1980

Heyting, Arend

Heyting, Arend 1898-

Аренд Гейтинг

Аренд Гейтінг

Аренд Хејтинг

Гейтинг, А 1898-1980

آرند هیتینگ ریاضی‌دان هلندی

아런트 헤이팅

アレン・ハイティング

阿蘭德·海廷

Languages