Your search returned 12 results.

Not what you expected? Check for suggestions

Results
	1.	Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott Series: Discrete mathematics and its applications Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, c2010 Online access: Contributor biographical information Publisher description Availability: Items available for loan: المكتبة العامة بالعلا (1)Call number: 511.3 MEI. Place hold Add to cart (remove)
	2.	Logic and structure / Dirk van Dalen. by Dalen, D. van (Dirk), 1932- Series: Universitext Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, c2013 Availability: Items available for loan: المكتبة العامة بمهد الذهب (1)Call number: 512 DDL. Place hold Add to cart (remove)
	3.	Discrete mathematics and its applications / Kenneth H. Rosen. by Rosen, Kenneth H Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : McGraw-Hill Higher Education, c2007 Online access: Table of contents Contributor biographical information Publisher description Availability: Items available for loan: المكتبة العامة بالخماسين (2)Call number: 511 RKH, ... المكتبة العامة بدومة الجندل (2)Call number: 511 RKH, ... Items available for reference: المكتبة العامة بالخماسين: Added to bundle (1)Call number: 511 RKH. المكتبة العامة بدومة الجندل: Added to bundle (1)Call number: 511 RKH. Place hold Add to cart (remove)
	4.	How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by Solow, Daniel Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, c2002 Online access: Table of Contents Publisher description Availability: Items available for loan: المكتبة العامة ببقيق (5)Call number: 511.3 D S H, ... Place hold Add to cart (remove)
	5.	A tour through mathematical logic / Robert S. Wolf. by Wolf, Robert S Series: The Carus mathematical monographs ; no. 30 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Washington, DC : Mathematical Association of America, c2005 Online access: Table of contents only Publisher description Availability: Items available for loan: المكتبة العامة بحريملاء (2)Call number: 511.3 W R T, ... Place hold Add to cart (remove)
	6.	Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- Nguyen, Phuong, 1977- Series: Perspectives in logic Material type: Text; Format: print ; Literary form: Not fiction Publication details: Ithaca, NY : New York, NY : Association for Symbolic Logic ; Cambridge University Press, 2010 Availability: Items available for loan: المكتبة العامة بالباحة (2)Call number: 511.36 C S L, ... المكتبة العامة بالنسيم (2)Call number: 511.36 C S L, ... المكتبة العامة بحريملاء (2)Call number: 511.36 C S L, ... المكتبة العامة بحوطة سدير (2)Call number: 511.36 C S L, ... Place hold Add to cart (remove)
	7.	Computability and logic. by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Edition: 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2007 Online access: Table of contents only Publisher description Availability: Items available for loan: المكتبة العامة بحوطة بني تميم (3)Call number: 511.352 B G C, ... Place hold Add to cart (remove)
	8.	A framework for priority arguments / Manuel Lerman. by Lerman, M. (Manuel), 1943- Series: Lecture notes in logic ; 34. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, 2010 Availability: Items available for loan: المكتبة العامة بالباحة (2)Call number: 511.36 L M F, ... المكتبة العامة بالنسيم (2)Call number: 511.36 L M F, ... المكتبة العامة بحريملاء (2)Call number: 511.3/6 L M F, ... المكتبة العامة بحوطة سدير (2)Call number: 511.36 L M F, ... Place hold Add to cart (remove)
	9.	Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.). by International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria) Winkler, Franz, 1955- Series: Lecture notes in computer science ; 2930. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2004 Other title: ADG 2002 Online access: Publisher description Availability: Items available for loan: المكتبة العامة بحوطة بني تميم (3)Call number: 516.00285 A U D, ... Place hold Add to cart (remove)
	10.	Discrete structures with contemporary applications / Alexander Stanoyevitch. by Stanoyevitch, Alexander Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, FL : CRC Press, c2011 Availability: Items available for loan: المكتبة العامة بالقطيف (3)Call number: 004.0151 SAD, ... Place hold Add to cart (remove)
	11.	A tour through mathematical logic / Robert S. Wolf. by Wolf, Robert S Series: The Carus mathematical monographs ; no. 30 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Washington, DC : Mathematical Association of America, c2005 Online access: Table of contents Availability: Items available for loan: المكتبة العامة بالنسيم (2)Call number: 511.3 W R T, ... المكتبة العامة بحوطة بني تميم (2)Call number: 511.3 W R T, ... المكتبة العامة برفحاء (2)Call number: 511.3 W R T, ... Place hold Add to cart (remove)
	12.	Alan Turing : his work and impact / S. Barry Cooper and J. van Leeuwen. by Cooper, S. B. (S. Barry) Leeuwen, J. van (Jan) Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Waltham, MA : Elsevier, c2013 Availability: Items available for loan: المكتبة العامة بمهد الذهب (1)Call number: 510.92. Lists: الرياضيات. Place hold Add to cart (remove)

Powered by Koha

Enter item barcode:

Barcode	Title	Call number	Due date
items checked out