Author Search Results

Select result number 1
1

Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings / Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1997

Texto biblioteca

COLPOS

Saved in:
Select result number 2
2

Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /

by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993

Texto biblioteca

COLPOS

Saved in:
Select result number 3
3

Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings /

by Gottlob, Georg. editor., Leitsch, Alexander. editor., Mundici, Daniele. editor., SpringerLink (Online service)
Published 1993

Texto biblioteca

COLPOS

Saved in:
Select result number 4
4

Logic and Scientific Methods [electronic resource] : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Logic and Scientific Methods [electronic resource] : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /

by Chiara, Maria Luisa Dalla. editor., Doets, Kees. editor., Mundici, Daniele. editor., Benthem, Johan van. editor., SpringerLink (Online service)
Published 1997

Texto biblioteca

COLPOS

Saved in:
Select result number 5
5

Logic and Scientific Methods [electronic resource] : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Logic and Scientific Methods [electronic resource] : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /

by Chiara, Maria Luisa Dalla. editor., Doets, Kees. editor., Mundici, Daniele. editor., Benthem, Johan van. editor., SpringerLink (Online service)
Published 1997

Texto biblioteca

COLPOS

Saved in:

Resource Map