IMSc Library catalog › Results of search for 'ccl=au:"Krajicek, Jan,"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Bounded Arithmetic, Propositional Logic, and Complexity Theory by Krajicek, Jan. Series: Encyclopedia of mathematics & its applications ; 00060Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 10, Shelf No: 2 Call number: 51(02) ENC. Place hold Log in to add tags
			Arithmetic, Proof Theory, and Computational Complexity by Clote, Peter. Ed \| Krajicek, Jan. Ed. Series: Oxford Logic Guides, Vol. 23Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; Oxford University press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27, Shelf No:48 Call number: 510.6 CLO. Place hold Log in to add tags
			Proof complexity / Charles University, Prague. by Krajicek, Jan. Series: Encyclopedia of mathematics and its applications ; 170Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 2019Availability: No items available : Checked out (1). Lists: New Arrivals (18 March 2022). Place hold Log in to add tags