2724418

Preferred Forms

200 _ | ‎‡a Baaz‏ ‎‡b Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏
100 1 _ ‎‡a Baaz, Matthias‏ ‎‡d 1960-‏
100 1 _ ‎‡a Baaz, Matthias‏ ‎‡d 1960-‏
100 1 _ ‎‡a Baaz, Matthias,‏ ‎‡d 1960-‏
100 1 _ ‎‡a Baaz, Matthias,‏ ‎‡d 1960-....‏
100 1 _ ‎‡a Baaz, Matthias.‏
100 0 _ ‎‡a Matthias Baaz‏

4xx's: Alternate Name Forms (6)

Works

Title	Sources
Complexity and logic / guest eds: M. Baaz, G. Gottlob, G. Moser. - Amsterdam [etc.], 2002.
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
CSL 2003
EPSILON THEOREMS IN INTERMEDIATE LOGICS
KGC 2003
Kurt Gödel and the foundations of mathematics : horizons of truth
Logic Colloquium '01 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Vienna, Austria, August 6-11, 2001
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
LPAR 2002
Mathematische Modelle des militärischen Kräftevergleichs
Methods of cut-elimination
Recherches sur la logique universelle (excessivité, négation, séquents)
Witt's proof of the Wedderburn theorem

Selected Co-authors

Leitsch, Alexander ‎(13)
Makowsky, Johann A., 1948- ‎(8)
Voronkov, Andrei, 1959- ‎(5)
Krajíček, Jan. ‎(4)
Friedman, Sy D. (1953- ). ‎(3)
Scott, Dana S. (1932-....). ‎(2)
Putnam, Hilary Whitehall (1926-2016). ‎(2)
Moser, Georg. ‎(2)
Logic Colloquium '01 (2001 ; Wiedeń). ‎(2)
Harper, Charles L. (1958-....). ‎(2)

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:

DE - Germany (15)
US - United States (8)
NL - Netherlands (8)
GB - United Kingdom (4)
AT - Austria (2)
FR - France (1)
BE - Belgium (1)

Publication Statistics

Selected Publishers (9)

Springer ‎(25)
Cambridge University Press ‎(15)
Association for symbolic logic ; A.K. Peters ‎(4)
Inst. für Strategische Grundlagenforschung ‎(3)
Elsevier ‎(2)
Springer-Verlag Berlin Heidelberg : Springer e-books ‎(1)
Springer Science+Business Media B.V. : Springer e-books ‎(1)
Springer Netherlands ‎(1)
Peters ‎(1)

About

Personal Information

Gender : Male

Nationality or associated country:

AT - Austria
오스트리아(국명)[Austria] -
XX -

Field of Activity:

수학 학문 数学

Occupation:

교수 대학 敎授

Language:

eng - English

Record ID	Action	Time
LC\|n 2002161044	add	2009-03-03T12:03:41+00:00
DNB\|135812003	add	2009-05-07T09:10:58+00:00
DNB\|114522529	delete	2009-05-07T09:10:58+00:00
NKC\|xx0013597	add	2011-03-18T07:36:20+00:00
SUDOC\|077929810	add	2011-12-15T07:58:56+00:00
BIBSYS\|x03115017	delete	2012-11-27T04:00:16+00:00
NTA\|27916808X	add	2012-12-19T19:11:18+00:00
ISNI\|0000000114661887	add	2013-09-16T16:15:07+00:00
NUKAT\|n 2006008690	add	2014-10-27T16:17:29+00:00
BNF\|14622738	add	2016-06-06T06:12:47.141033+00:00
NII\|DA17519899	add	2016-08-02T07:57:39.822519+00:00
BIBSYS\|3115017	add	2017-04-23T04:56:04.357657+00:00
DNB\|1117202577	delete	2017-06-25T18:24:47.665795+00:00
J9U\|987007605027705171	add	2020-02-02T17:45:31.530884+00:00
NLI\|002144024	delete	2020-04-12T13:17:09.490299+00:00
WKP\|Q93414011	add	2020-05-24T10:20:52.791436+00:00
RERO\|vtls011050925	delete	2020-06-17T04:28:55.406771+00:00
RERO\|A011050925	add	2020-06-17T22:33:34.778632+00:00
CAOONL\|ncf11346004	add	2020-07-14T14:52:04.371503+00:00
BNC\|a11385741	delete	2021-08-15T07:32:23.890338+00:00
BNC\|981058512261806706	add	2021-08-15T10:27:37.099413+00:00
KRNLK\|KAC2022B9454	add	2024-08-04T04:28:06.862509+00:00

VIAF

Virtual International Authority File

Search

Baaz, Matthias.

Baaz, Matthias, 1960-....

Matthias Baaz

VIAF ID: 2724418 (Personal)

Permalink: http://viaf.org/viaf/2724418

Preferred Forms

4xx's: Alternate Name Forms (6)

Works

Selected Co-authors

Countries and Regions of Publication (7)

Publication Statistics

Publication History

Identifiers

Selected Publishers (9)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:2724418 (22)