Your search returned 19 results.

Results
	1.	Logic Programming by Clark, K Tarnlund, S Series: Apic Studies in Data Processing Material type: Text Publication details: London Academic Press Inc. 1982 Availability: Items available for loan: Goa University Library (1)Call number: 001.642 CLA-TAR. Add to cart (remove)
	2.	Foundations : Essays in Philosophy, Logic, Mathematics and Economics. by Ramsey, F Melldr, D Material type: Text Publication details: London Routledge & Kegan Paul. 1978 Availability: Items available for loan: Goa University Library (1)Call number: 501 RAM/Fou. Add to cart (remove)
	3.	Schaum s Outline of Theory and Problems of Discrete Mathematics by Lipschutz, Seymour Series: Schaum s Outline Series in Mathematics Material type: Text Publication details: New York McGraw-Hill Book Company 1976 Availability: Items available for loan: Goa University Library (1)Call number: 511.0202 LIP/The. Add to cart (remove)
	4.	No cover image available No cover image available Logic for Computer Science : Foundations of Automatic Theorem Proving by Gallier, Jean Material type: Text Publication details: New York John Wiley & Sons 1987 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 GAL/Log. Add to cart (remove)
	5.	The Logical Basis for Computer Programming : Volume I Deductive Reasoning by Manna, Zohar Waldinger, Richard Material type: Text Publication details: Massachusetts Addison-Wesley Publishing Company 1985 Availability: Items available for loan: Goa University Library (1)Call number: 519.7 MAN-WAL. Add to cart (remove)
	6.	Logic for Mathematics by Hamilton, A Material type: Text Publication details: Cambridge Cambridge University Press 1990 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 HAM/Log. Add to cart (remove)
	7.	Schaum s Outline of Theory and Problems of Discrete Mathematics by Lipschutz, Seymour [Author] Lipson, Marc Lars Series: Schaum s Outline Series in Mathematics Edition: 2nd ed Material type: Text Publication details: New Delhi Tata McGraw-Hill 2004 Availability: Items available for loan: Goa University Library (1)Call number: 519.4 LIP-LIP. Add to cart (remove)
	8.	Schaum's outlines discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour [Author] Lipson, Marc Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Tata McGraw-Hill Publishing Co., 2006 Other title: Theory and problems of discrete mathematics Discrete mathematics Online resources: Click here to access online Click here to access online Click here to access online Availability: Items available for loan: Goa University Library (10)Call number: 511 LIP-LIP, ... Add to cart (remove)
	9.	Schaum's outlines discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour [Author] Lipson, Marc Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Tata McGraw-Hill Publishing Co., 2006 Other title: Theory and problems of discrete mathematics Discrete mathematics Online resources: Click here to access online Click here to access online Click here to access online Availability: Items available for loan: Goa University Library (9)Call number: 511 LIP-LIP, ... Add to cart (remove)
	10.	Mathematical fallacies and paradoxes / Bryan H. Bunch. by Bunch, Bryan H [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Van Nostrand Reinhold Co., 1982 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 BUN/Mat. Add to cart (remove)
	11.	What is mathematical logic? / J.N. Crossley ... [et al.]. by Crossley, John N Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, 1990 Online resources: Click here to access online Availability: Items available for loan: Goa University Library (1)Call number: 510.16 CRO/Wha. Add to cart (remove)
	12.	No cover image available No cover image available Alfred Tarski Anita Burdman Feferman Life and Logic by Feferman, Anita Burdman [Author] Feferman, Solomon Material type: Text Publication details: Cambridge Cambridge Univrsity Press 2004 Availability: Items available for loan: Goa University Library (1)Call number: 199.438 FEF-FEF. Add to cart (remove)
	13.	How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by Solow, Daniel Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2010 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 SOL/How. Add to cart (remove)
	14.	Proofs and Algorithms: Introduction to Logic and Computability Theory. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag; London; 2011 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Goa University Library (1)Call number: 005.131 DOW/Pro. Add to cart (remove)
	15.	Handbook of mathematical induction: theory and applications by Gunderson, David S Publication details: Boca Raton: CRC Press; 2010 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 GUN/Han. Add to cart (remove)
	16.	Understanding mathematical proof John Taylor, Rowan Garnier. by Taylor, John, 1957- Garnier, Rowan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton: CRC Press; 2014 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 TAY-GAR. Add to cart (remove)
	17.	The foundations of mathematics - 2nd ed. Ian Stewart and David Tall. by Stewart, Ian [author.] Tall, David Orme [author.] Edition: Second Edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: UK: Oxford University Press; 2015 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 STE-TAL. Add to cart (remove)
	18.	Critical approaches to science & philosophy Mario Bunge, editor, with a new introduction. by Bunge, Mario [Edt.] Series: Science and technology studies Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Brunswick, NJ : Transaction Publishers, 1999 Other title: Critical approaches to science and philosophy Availability: Items available for loan: Goa University Library (1)Call number: 501 BUN/Cri. Add to cart (remove)
	19.	Mathematical logic- 2nd ed. H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum , J Thomas, W Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer, 1994 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 EBB/Mat. Add to cart (remove)

Powered by Koha