PKK Library catalog › Results of search for 'su:{Logic, Symbolic And Mathematical--Cong}'

	1.	THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE by Parikh, Rohit. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 T343] (1). Place hold Add to cart (remove)
	2.	LOGIC : FROM FOUNDATIONS TO APPLICATIONS by Wilfrid Hodges \| Hodges,Wilfrid. Material type: Book Description: xiii,536.Publisher: Clarendon Press, Oxford c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1). Place hold Add to cart (remove)
	3.	LOGIC IN COMPUTER SCIENCE Description: xi,361.Publisher: Washington, D. C. Computer Society Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sy68l] (1). Place hold Add to cart (remove)
	4.	THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE by Vardi, Moshe Y. Description: viii,401.Publisher: Los Altos, Morgan Kaufmann c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76t] (1). Place hold Add to cart (remove)
	5.	Logic Colloquium '84 : proceedings... by Paris, J.B [ed.] \| Wilkie, A.J [ed.]. Description: x,377p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1). Place hold Add to cart (remove)

PKK Library