PKK Library catalog › Results of search for 'su:{Logic'

Refine your search

Availability
- Limit to currently available items.
Authors
- Bach, Emmon W. (4)
- Bhattacharya, Chandrodaya (5)
- Blakeslee, Thomas R. (4)
- Boole, George (3)
- Bosanquet, Bernard (5)
- Copi, Irving M. (7)
- Dalen, Dirk Van (4)
- Flew, Antony G. N. (4)
- Gabbay,Dov M. (3)
- Kalish, Donald (28)
- Lee, S. C. (4)
- Mendelson, Elliott (4)
- Montague, Richard (28)
- Neidorf, Robert (3)
- Quine, Willard Van Orman (5)
- Russell (3)
- Russell, Bertrand (6)
- Stoll, Robert Roth (3)
- U. S. A. (5)
- Whitehead, Alfred North (4)
Holding libraries
- PK Kelkar Library, IIT Kanpur (1145)
Home libraries
- PK Kelkar Library, IIT Kanpur (1145)
Item types
- Books (925)
- E books (183)
- EBK (7)
- Text Books (19)
- Withdrawn (40)
- Show more
Series
- Logic, Epistemology, and the Unity of Science ; (6)
- Studies In Logic And The Foundations Of Mathematics (5)
- Synthese Library (12)
- Synthese library (6)
- Universitext (6)
- Show more
Places
- Logic (1)
Topics
- Logic (248)
- Logic, Symbolic And Mathematical (178)
- Logic. (49)
- Mathematical Logic and Formal Languages. (47)
- Mathematical logic. (91)
- Show more
Titles
- Aristotle -- Contributions in logic of modalities (1)

	481.	THE PSYCHOLOGY OF COUNTERFACTUAL THINKING by Mandel,David R.,Hilton,Denis J \| Catellani,Patrizia. Material type: Book; Format: print ; Literary form: not fiction Description: xii,251.Publisher: Routledge, London 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.43 P959M] (1). Place hold Add to cart (remove)
	482.	PHILOSOPHY OF LOGIC by Jacquette,Dale. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,1202.Publisher: Elsevier, Amsterdam 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 P549] (1). Place hold Add to cart (remove)
	483.	LOGICALLY DETERMINED DESIGN by Fant,Karl M. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,292.Publisher: John Wiley & Sons Inc., New Jersey 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 F218L] (1). Place hold Add to cart (remove)
	484.	CATEGORIZATION AND NAMING IN CHILDREN by Markman,Ellen M. Material type: Book; Format: print ; Literary form: not fiction Description: 250.Publisher: Mit Press, Cambridge 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 155.413 M341C] (1). Place hold Add to cart (remove)
	485.	HANDBOOK OF MODAL LOGIC by Blackburn,Patrick,Benthem,Johan Van \| Wolter,Frank. Material type: Book; Format: print ; Literary form: not fiction Description: xxiii,1231.Publisher: Elsevier,Amsterdam 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H191B] (1). Place hold Add to cart (remove)
	486.	LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE by Rahman,Shahid. Material type: Book; Format: print ; Literary form: not fiction Description: ix,626.Publisher: Kluwer Academic Publishers,Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 L829] (1). Place hold Add to cart (remove)
	487.	LOGICAL ENVIRONMENTS by Huet,Gerard \| Plotkin,Gordon. Material type: Book; Format: print ; Literary form: not fiction Description: xiii,338.Publisher: Cambridge Univ. Press, Cambridge 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1). Place hold Add to cart (remove)
	488.	Digital design [3rd ed.] by Mano, M. Morris. Edition: 3rd ed.Material type: Book; Format: print ; Literary form: not fiction Description: 528p.Publisher: Delhi Pearson Education 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 M317d3 cop.1] (9). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.395 M317d3 cop.5] (1). Checked out (1). Place hold Add to cart (remove)
	489.	INTRODUCTION TO FUZZY LOGIC USING MATLAB by Sivanandam,S. N.,Sumathi,S \| Deepa,S. N. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,430.Publisher: Springer-Verlag, Berlin 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.313 SI93I] (1). Place hold Add to cart (remove)
	490.	ADVANCES IN LOGIC BASED INTELLIGENT SYSTEMS by Nakamatsu,Kazumi \| Abe,Jair Minoro. Material type: Book; Format: print ; Literary form: not fiction Description: xi,289.Publisher: Ios Press, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 AD95] (1). Place hold Add to cart (remove)
	491.	LOGICS FOR EMERGIN APPLICATIONS OF DATABASES by Chomicki,Jan,Meyden,Ron Van Der \| Saake,Gunter. Material type: Book; Format: print ; Literary form: not fiction Description: xv,368.Publisher: Springer-Verlag, Berlin 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 L828C] (1). Place hold Add to cart (remove)
	492.	REDUCTIVE LOGIC AND PROOF-SEARCH by Pym,David J \| Ritter,Eike. Material type: Book; Format: print ; Literary form: not fiction Description: xv,208.Publisher: Clarendon Press, Oxford 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P994R] (1). Place hold Add to cart (remove)
	493.	INTERPOLATION AND DEFINABILITY by Gabbay,D. M \| Maksimova,L. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,508.Publisher: Clarendon Press, Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111I] (1). Place hold Add to cart (remove)
	494.	AHA! GOTCHA AHA! INSIGHT by Gardner,Martin. Material type: Book; Format: print ; Literary form: not fiction Description: xvii,181.Publisher: Mathematical Association Of America,Washington , Dc 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 165 G171A] (1). Place hold Add to cart (remove)
	495.	HANDBOOK OF THE HISTORY OF LOGIC by Gabbay,Dov M \| Woods,John. Material type: Book; Format: print ; Literary form: not fiction Description: viii,618.Publisher: Elsevier,Amsterdam 2004Availability: No items available Add to cart (remove)
	496.	Handbook of the history of logic [Vols 1,8] by Gabby, Dov M. [ed.] \| Woods, John [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: various pagings.Publisher: Amsterdam Elsevier 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.9 H191 v.1] (2). Place hold Add to cart (remove)
	497.	ADVANCED FUZZY LOGIC TECHNOLOGIES IN INDUSTRIAL APPLICATIONS by Bai,Ying [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xxv, 334p.Publisher: London Springer-Verlag, London 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.801511313 AD95] (1). Place hold Add to cart (remove)
	498.	THE STRUCTURE OF MODELS OF PEANO ARITHMETIC by Kossak,Roman \| Schmerl,James H. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,311.Publisher: Clarendon Press, Oxford 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K847S] (1). Place hold Add to cart (remove)
	499.	Handbook of spatial logics by . Material type: Book; Format: print ; Literary form: not fiction Description: xxi,1058p.Publisher: Netherlands Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191a] (1). Place hold Add to cart (remove)
	500.	Finite model theory and its applications by Gradel, Erich...[Et. Al]. Material type: Book; Format: print ; Literary form: not fiction Description: xi.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F495] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Places

Topics

Titles