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

	21.	Handbook of Logic and Proof Techniques for Computer Science by Krantz, Steven G. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1). Place hold
	22.	Why is there philosophy of mathematics at all? by Ian, Hacking. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York Cambridge University Press 2014Availability: Items available for loan: [Call number: 510.1 HAC] (1). Place hold
	23.	TeXas style introduction to proof by Taylor, Ron. Material type: Book; Format: print ; Literary form: Not fiction Publisher: United States of America Mathematical Association of America 2017Availability: Items available for loan: [Call number: 511.360711 TAY] (1). Place hold
	24.	Language, form, and logic : in pursuit of natural logic's holy grail by Ludlow, Peter \| Zivanovic, Saso. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 410.1 LUD] (1). Place hold
	25.	Story of proof : logic and the history of mathematics by Stillwell, John. Publisher: Princeton : Princeton University Press, 2022Availability: Items available for loan: [Call number: 511.36 STI] (1). Place hold
	26.	Introduction to proof through number theory by Chow, Bennett. Publisher: Providence : American Mathematical Society, 2023Availability: Items available for loan: [Call number: 511.36 CHO] (1). Place hold

Koha online