PKK Library catalog › Results of search for 'se,phr:"Mit Press Series In The Foundations Of Computing"'

	1.	EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE by O'Donnell, Michael J. Material type: Book; Format: print ; Literary form: not fiction Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1). Place hold Add to cart (remove)
	2.	THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS by Maslov, Sergei Iur'Evich \| Lifschitx, Vladimir. Material type: Book; Format: print ; Literary form: not fiction Description: x,151.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M379t] (1). Place hold Add to cart (remove)
	3.	ALGEBRAIC THEORY OF PROCESSES by Hannesay, Matthew. Material type: Book; Format: print ; Literary form: not fiction Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1). Place hold Add to cart (remove)

PKK Library