It looks like you're offline.

Last edited anonymously

April 30, 2008 | History

Edit

Matthias Baaz

We need a photo of Matthias Baaz

6 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Kurt Gödel and the foundations of mathematics: horizons of truth

by Matthias Baaz First published in 2011 — 5 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, August 6-11, 2 ... Notes in Logic) (Lecture Notes in Logic)

by Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, and Austria) Logic Colloquium (2001 Vienna First published in 2005 — 4 editions

Locate

My Reading Lists:

Create a new list
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, ... (Lecture Notes in Computer Science)

by Matthias Baaz First published in 2003 — 2 editions

Locate

My Reading Lists:

Create a new list
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science)

by Matthias Baaz and Andrei Voronkov First published in 2002 — 2 editions

Locate

My Reading Lists:

Create a new list
Kurt Godel and the Foundations of Mathematics: Horizons of Truth

by Matthias Baaz, Christos H. Papadimitriou, and Dana S. Scott First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Computer science logic: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

by Matthias Baaz First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Matthias Baaz

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3064484A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON