Koha online catalog › Results of search for 'su:"Compactness Theorem "'

	1.	Computability and Logic by Boolos, George S. Edition: 3rd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1989Availability: Items available for loan: DAU [Call number: 005.115 BOO] (1). Place hold
	2.	Sets, models and proofs by Moerdijk, Ieke \| Oosten, Jaap van. Publisher: Cham : Springer, 2018Availability: Items available for loan: DAU [Call number: 511.3 MOE] (1). Place hold

Koha online