Your search returned 233 results.

Results
	101.	Logic and data bases: Proceedings of the symposium- / edited by Herve Gallaire, Jack Minker. by Minker, Jack [Editor] Gallaire, Herve [Editor] C.E.R.T (16th -18th, Novermber 1977 : Centre d"etudes et de resherches de toulouse, France) Material type: Text; Literary form: Not fiction Publication details: London: Plenum Press, 1978 Availability: Items available for loan: Bangalore (1)Call number: 005.740151 GAL. Place hold
	102.	Logic for mathematicians / by A G Hamilton. by Hamilton, A G Material type: Text; Literary form: Not fiction Publication details: Cambridge: Cambridge University, 1978 Availability: Items available for loan: Bangalore (1)Call number: 511.3 HAM. Place hold
	103.	Logic for problem solving / by Robert Kowalski. by Kowalski, Robert Series: Artificial intelligence series Material type: Text; Literary form: Not fiction Publication details: New York: North-Holland, 1979 Availability: Items available for loan: Bangalore (1)Call number: 519.7 KOW. Place hold
	104.	Logic of reliable inquiry / by Kevin T Kelly. by Kelly, Kevin T Series: Logic and computation in philosophy: Sieg, Wilfried and others ed Material type: Text; Literary form: Not fiction Publication details: New York: Oxford University Press, 1996 Availability: Items available for loan: Bangalore (1)Call number: 121 KEL. Place hold
	105.	Logic programming / edited by K L Clark, S A Tarnlund. by Tarnlund, S A [Editor] Clark, K L [Editor] Series: A.P.I.C Studies in data processing ; No.16 Material type: Text; Literary form: Not fiction Publication details: London: Academic, 1982 Availability: Items available for loan: Bangalore (1)Call number: 005.131 CLA. Place hold
	106.	Logic reliable inquiry / by Kevin T Kelly. by Kelly, Kevin T Material type: Text; Literary form: Not fiction Publication details: New York: Oxford University, 1996 Availability: Items available for loan: Bangalore (1)Call number: 121 KEL. Place hold
	107.	Logic, algebra and databases / by Peter M D Gray. by Gray, Peter M D Series: Ellis Horwood series in computer and thier applications Material type: Text; Literary form: Not fiction Publication details: Chichester: Ellis Horwood, 1984 Availability: Items available for loan: Bangalore (1)Call number: 005.74 GRA. Place hold
	108.	Mathematical foundations of programming / by Frank S Beckman. by Beckman, Frank S Series: Systems programming series Material type: Text; Literary form: Not fiction Publication details: Massachusetts: Addison-Wesley, 1980 Availability: Items available for loan: Bangalore (1)Call number: 519.4 BEC. Place hold
	109.	Mathematical logic: An introduction to model theory / by A H Lightstone, H B Enderton. by Lightstone, A H Enderton, H B [Editor] Series: Mathematical concepts and methods in science and engineering Material type: Text; Literary form: Not fiction Publication details: New York: Plenum, 1978 Availability: Items available for loan: Bangalore (1)Call number: 511.3 LIG. Place hold
	110.	No cover image available Mathematics and common sense: A case of creative tension / by Philip J Davis. by Davis, Philip J Material type: Text; Literary form: Not fiction Publication details: Wellesley: A K Peters, 2006 Availability: Items available for loan: Bangalore (1)Call number: 511.3 DAV. Place hold
	111.	No cover image available Notebooks 1914-1916 / by Ludwig Wittgenstein, von G H Wright, Anscombe G E M. by Wittgenstein, Ludwig Wright, von G H [Editor] Anscombe, G E M [Editor] Material type: Text; Literary form: Not fiction Publication details: Oxford: Basil Blackwell, 1969 Availability: Items available for loan: Bangalore (1)Call number: 193 WIT. Place hold
	112.	Once upon a number: The hidden mathematical logic of stories / by John Allen Paulos. by Paulos, John Allen Material type: Text; Literary form: Not fiction Publication details: New York: Basic books, 1998 Availability: Items available for loan: Bangalore (1)Call number: 519.5 PAU. Place hold
	113.	Popular lectures on mathematical logic / by Hao Wang. by Wang, Hao Material type: Text; Literary form: Not fiction Publication details: New York: Dover, 1981 Availability: Items available for loan: Bangalore (1)Call number: 511.3 WAN. Place hold
	114.	Quantitative analysis methods for substantive analysis / by Henry F De Francesco. by De Francesco, Henry F Material type: Text; Literary form: Not fiction Publication details: Los Angels: Melville, 1975 Availability: Items available for loan: Bangalore (1)Call number: 519.5 DEF. Place hold
	115.	Reasoning about uncertainity / by Joseph Y Halpern. by Halpern, Joseph Y Material type: Text; Literary form: Not fiction Publication details: London: MIT, 2003 Availability: Items available for loan: Bangalore (1)Call number: 003.54 HAL. Place hold
	116.	Search for certainity: A Philosophical account of foundations of mathematics / Giaquinto. by Giaquinto Material type: Text; Literary form: Not fiction Publication details: Newyork: OUP, 2004 Availability: Items available for loan: Bangalore (1)Call number: 511.3 GIA. Place hold
	117.	Studies in foundations and combinatorics: Advanaces in mathematics supplement studies, Vol. 1 / edited by Gian-Carlo Rota. by Rota, Gian-Carlo [Editor] Series: Advanaces in mathematics supplement studies Material type: Set Publication details: New York: Academic Press, 1978 Availability: Items available for loan: Bangalore (1)Call number: 511.6 ROT. Place hold
	118.	No cover image available Symbolic logic and the game of logic / by Lewis Carrol. by Carrol, Lewis Material type: Text; Literary form: Not fiction Publication details: New jersey: Dover, 1897 Availability: Items available for loan: Bangalore (1)Call number: 793.74 CAR. Place hold
	119.	Temporal logics and their applications / edited by Antony Galton. by Galton, Antony [Editor] Material type: Text; Literary form: Not fiction Publication details: London: Academic, 1987 Availability: Items available for loan: Bangalore (1)Call number: 005.131 GAL. Place hold
	120.	No cover image available Theoretical aspects of reasoning about knowledge: Proceedings of the conference (Tark 1990) / edited by Rohit Parikh. by Parikh, Rohit [Editor] IBM Research, Amaden Research Center, American Association for Artificial Intelligence and Airforce office of Scientific Research (3rd : 1990, March 4-7 : Pacific Grove, California) Series: Morgan Kaufamann series in Representation and Reasoning Material type: Text; Literary form: Not fiction Publication details: California: Morgan Kaufmann Publishers Inc, 1990 Availability: Items available for loan: Bangalore (1)Call number: 006.3 PAR. Place hold

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Titles

Your search returned 233 results.