Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) | lit.salon

Author

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

1 works

1993 across 1 dated work

No biography is available yet.

Start with

Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings1993
With Georg Gottlob, Alexander Leitsch

Books

1 work

Featured (1)Featured (1)All (1)All (1)

Search booksSort books

Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings1993
With Georg Gottlob, Alexander Leitsch
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).

The conversation is still open.

There is no public salon activity to show for Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) yet.