PKK Library catalog › Results of search for 'au:"Taitslin, M."'

	1.	LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92 by Nerode, A \| Taitslin, M \| . Description: ix,514.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2.	Logic at Botik '89 : proceedings by Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) \| Meyer, Albert R., ed \| Taitslin, M. A., ed. Material type: Book; Format: print ; Literary form: not fiction Description: x, 289 p.Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.363] (1). Place hold Add to cart (remove)

PKK Library