Your search returned 4 results.

Results
		Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek. by Gödel '96 (1996 : Brno, Czech Republic) Hájek, Petr [editor.] Series: Lecture notes in logic ; 6. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák. by Logic Colloquium (1998 : Prague, Czech Republic) Buss, Samuel R [editor.] Hájek, Petr [editor.] Pudlák, Pavel, 1952- [editor.] Series: Lecture notes in logic ; 13. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. by Hájek, Petr [author.] Pudlák, Pavel, 1952- [author.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Mechanizing hypothesis formation : mathematical foundations for a general theory / Petr Hájek, Tomáš Havránek. by Hájek, Petr Material type: Text; Format: print ; Literary form: Not fiction Publisher: Berlin [etc.] : Springer, 1978 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.