15582257

Preferred Forms

100 0 _ ‎‡a Georg Kreisel‏ ‎‡c englisch-US-amerikanischer Logiker und Mathematiker‏
200 _ | ‎‡a Kreisel‏ ‎‡b Georg‏ ‎‡f 1923-2015‏
200 _ 1 ‎‡a Kreisel‏ ‎‡b Georg‏ ‎‡f 1923-2015‏
100 1 0 ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏
100 1 _ ‎‡a Kreisel, Georg‏ ‎‡d (1923-2015)‏
100 1 _ ‎‡a Kreisel, Georg‏ ‎‡d (1923-2015).‏
100 1 _ ‎‡a Kreisel, Georg‏ ‎‡d 1923-2015‏
100 1 _ ‎‡a Kreisel, Georg,‏ ‎‡d 1923-2015‏
100 1 _ ‎‡a Kreisel, Georg,‏ ‎‡d 1923-2015‏

4xx's: Alternate Name Forms (25)

400 0 _ ‎‡a Georg Kreisel‏ ‎‡c American mathematician‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c Amerikalı matematikçi (1923 – 2015)‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c Brits wiskundige (1923-2015)‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c amerikansk matematiker‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matamaiticeoir Meiriceánach‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matematico statunitense‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matematikan amerikan‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matemàtic estatunidenc‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matemático estadounidense‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matemático norte-americano‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c matemáticu británicu (1923–2015)‏
400 0 _ ‎‡a Georg Kreisel‏ ‎‡c mathématicien américain‏
400 1 _ ‎‡a Krajselʹ, G.‏ ‎‡d 1923-2015‏
400 1 _ ‎‡a Krajzel', G.‏
400 1 _ ‎‡a Kreisel Krivine, ...‏ ‎‡d 1923-2015‏
400 1 _ ‎‡a Kreisel, G.‏
400 1 0 ‎‡a Kreisel, G.‏
400 1 _ ‎‡a Kreisel, G.‏ ‎‡d 1923-2015‏
400 0 _ ‎‡a Γκιόργκ Κράισελ‏
400 0 _ ‎‡a Георг Крайзель‏ ‎‡c британский и американский математик и логик австрийского происхождения‏
400 0 _ ‎‡a Георг Крайзель‏ ‎‡c британський і американський математик і логік австрійського походження‏
400 _ 1 ‎‡a Крайзель‏ ‎‡b Г.‏
400 0 _ ‎‡a گئورگ کرایزل‏ ‎‡c ریاضیدان آمریکایی‏
400 0 _ ‎‡a ゲオルク・クライゼル‏
400 0 _ ‎‡a 格奧爾格·克里澤爾‏

5xx's: Related Names (2)

Works

Title	Sources
Aristote aujourd'hui : études réunies a l'occasion du 2300e anniversaire de la mort du philosophe
Colloque international de logique : Clermont-Ferrand 18-25 juillet 1975
Éléments de logique mathématique, théorie des modèles
Five notes on the application of proof theory to computer science
Formal systems for some branches of intuitionistic analysis
Formally self-referential propositions for cut free classical analysis and related systems
Indo-Javanese metalwork
Issledovaniâ po teorii dokazatel'stv : sbornik statej
Kurt Gödel, 28 April 1906-14 January 1978 : elected For. Mem. R. S. 1968
Lectures on modern mathematics.
Mathematical interpretation of formal systems
Les mathématiques : leur philosophie, pédagogique et praxis : séance du 14 mai 1975
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Note on completeness and deefinability
Notes concerning the elements of proof theory
On weak completeness of intuitionistic predicate logic
Principles of constructive mathematics
Stanford lectures 1958/59

Selected Co-authors

Krivine, Jean-Louis ‎(21)
Takeuti, Gaisi 1926- ) ‎(4)
Krivine, J. L. ‎(4)
Krivine, J. L. (Jean Louis) ‎(3)
Stanford University. Applied Mathematics and Statistics Laboratory ‎(2)
Minc, G. E. 1939- ) ‎(2)
Maslov, Sergej Ûr'evič ‎(2)
Jung, Joachim 1959- ) ‎(2)
Lohuizen-de Leeuw, J.E. van (Johanna Engelberta), 1919-1983. ‎(1)
Loève, Michel (1907-1979). ‎(1)

Countries and Regions of Publication (7)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

NL - Netherlands (9)
FR - France (9)
DE - Germany (6)
US - United States (4)
RU - Russian Federation (1)
PL - Poland (1)
GB - United Kingdom (1)

Publication Statistics

Selected Publishers (10)

Dunod ‎(10)
Springer-Verlag ‎(9)
North-Holland ‎(9)
Państwowe Wydawnictwo Naukowe ‎(3)
UCLA] ‎(2)
The Royal Society ‎(2)
Linden-Museum, Staatliches Museum für Völkerkunde ‎(2)
Izdatel'stvo "Mir" ‎(2)
Stanford University, Institute for Mathematical Studies in the Social Sciences ‎(1)
Springer Berlin Heidelberg ‎(1)

Record ID	Action	Time
LC\|n 90705386	add	2009-03-03T12:03:33+00:00
BIBSYS\|x90806214	delete	2012-11-27T04:00:16+00:00
NTA\|06866642X	add	2012-12-19T19:11:18+00:00
SUDOC\|074448005	add	2013-07-12T21:38:46+00:00
DNB\|119528592	add	2013-07-12T21:38:46+00:00
ISNI\|0000000110411127	add	2013-09-16T16:15:07+00:00
NUKAT\|n 99034153	add	2014-10-27T16:17:29+00:00
WKP\|Georg_Kreisel	delete	2015-04-14T18:56:54+00:00
WKP\|Q951409	add	2015-04-14T18:56:54+00:00
DNB\|186804598	delete	2016-04-24T11:46:29.811936+00:00
BIBSYS\|90806214	add	2017-03-19T16:18:08.643801+00:00
LIH\|LNB:CmjZ;=CE	delete	2018-12-03T06:43:23.334899+00:00
LIH\|LNB:C_m__j_Z;=CE	add	2018-12-03T09:18:03.901417+00:00
NII\|DA06065042	add	2019-05-29T17:29:43.223991+00:00
PLWABN\|9810661380505606	add	2019-06-09T13:25:45.966819+00:00
NLP\|a17265046	delete	2019-07-14T13:03:56.131398+00:00
J9U\|987007432967805171	add	2020-02-02T17:15:43.254615+00:00
NKC\|mub20201067355	add	2020-03-08T09:49:03.703169+00:00
NLI\|002329900	delete	2020-04-12T14:15:23.144966+00:00
BNC\|a17157936	delete	2020-05-10T12:51:36.930146+00:00
RERO\|vtls003473775	delete	2020-06-16T23:05:06.254473+00:00
RERO\|A003473775	add	2020-06-17T21:55:37.355482+00:00
BNF\|13510345	add	2022-03-06T13:39:48.075276+00:00

VIAF

Virtual International Authority File

Search

Kreisel, Georg, 1923-2015

Kreisel, Georg

Georg Kreisel englisch-US-amerikanischer Logiker und Mathematiker

VIAF ID: 15582257 (Personal)

Permalink: http://viaf.org/viaf/15582257

Preferred Forms

4xx's: Alternate Name Forms (25)

5xx's: Related Names (2)

Works

Selected Co-authors

Countries and Regions of Publication (7)

Publication Statistics

Publication History

Identifiers

Selected Publishers (10)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:15582257 (23)