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

	1.	Interpolation and definability : modal and intuitionistic logics by Gabbay, Dov M \| Maksimova, Larisa. Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: [Call number: 511.3 GAB] (1). Place hold
	2.	Logic and structure by Dalen, Dirk van. Edition: 5th ed. Publisher: London : Springer, 2004Availability: No items available Checked out (1). Place hold
	3.	Mathematical logic through Python by Gonczarowski, Yannai A \| Nisan, Noam. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.131 GON] (1). Place hold
	4.	Logic : lecture notes for philosophy, mathematics, and computer science by Iacona, Andrea. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 160 IAC] (1). Place hold

Koha online