Koha online catalog › Results of search for 'su:"Natural deduction"'

	1.	Science of programming by Gries, David. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2). Place hold
	2.	Concise introduction to logic by Hurley, Patrick J. Edition: 7th ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Learning, 2000Availability: Items available for loan: [Call number: 160 HUR] (2). Place hold
	3.	Logic in computer science : modelling and reasoning about systems by Huth, Michael \| Ryan, Mark. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (2). Place hold
	4.	Symbolic logic by Makridis, Odysseus. Publisher: Cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 160 MAK] (1). Place hold

Koha online