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

Your search returned 4 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
			Forcing with Random Variables and Proof Complexity / Jan Krajíček. by Krajíček, Jan [author.]. Series: London Mathematical Society Lecture Note Series ; no. 382Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010Other title: Forcing with Random Variables & Proof Complexity.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . 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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha