Koha online catalog › Results of search for 'su:"Symbolic Logic"'

	1.	Symbolic logic and mechanical theorem proving by Chang, Chin-Liang \| Lee, Richard Char-Tung. Material type: Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1). Place hold
	2.	Introduction to Artificial Intelligence and Expert Systems by Patterson, Dan W. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 006.3 PAT] (7). Place hold
	3.	Principles of Mathematics by Russell, Bertrand. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 2002Availability: Items available for loan: [Call number: 510 RUS] (1). Place hold
	4.	Boolean Algebra and its Applications by Whitesitt, J. Eldon. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Dover Publications, 1995Availability: Items available for loan: [Call number: 511.324 WHI] (1). Place hold
	5.	Introduction to computation : Haskell, logic and automata by Sannella, Donald \| Fourman, Michael \| Peng, Haoran \| Wadler, Philip. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1). Place hold

Koha online