Gödel '96 : logical foundations of mathematics, computer scas printed], Czech Republic, August 1996, proceedings /

Bibliographic Details
Corporate Author:	Gödel '96 Brno, Czech Republic
Other Authors:	Hájek, Petr
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in logic ; 6.
Subjects:	Logic, Symbolic and mathematical > Congresses. Mathematics > Philosophy > Congresses. Computer science > Congresses. Mathematical physics > Congresses.

Remote Storage