Koha online catalog › Results of search for 'su:"Type theory"'

	1.	Basic simple type theory by Hindley, J. Roger. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1). Place hold
	2.	Higher-order logic and type theory by Bell, John L. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 511.3 BEL] (1). Place hold

Koha online