Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Logical foundations of mathematics and computational complexity: a gentle introduction by Pavel Pudlak. Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.015113 PUD(LOG). Lists: Title (alphabatically arranged). Place hold
		Metamathematics of first-order arithmetic by Petr Hájek \| Pavel Pudlák. Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2016Availability: Items available for loan: Central Library (1)Call number: 513.01 HAJ(MET). Lists: Title (alphabatically arranged). Place hold

Refine your search