Author(s): Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr (eds.)
Series: Springer Lecture notes in logic 13
Publisher: A.K.Peters
Year: 2000
Language: English
Pages: 541
City: Natick (Mass.), Prague)
Tags: Logic, Symbolic and mathematical -- Congresses.;Logic, Symbolic and mathematical.;Logique symbolique et mathématique -- Congrès.;Logique mathématique.;Logique symbolique.