Koha online catalog › Results of search for 'su:"Quantifier elimination"'

	1.	Guide to classical and modern model theory by Marcja, Annalisa \| Toffalori, Carlo. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers 2003Availability: Items available for loan: DAU [Call number: 511.3 MAR] (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