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

Refine your search

Availability
- Limit to currently available items.
Authors
- Bosanquet, Bernard (5)
- Copi, Irving M. (7)
- Kalish, Donald (28)
- Montague, Richard (28)
- Russell, Bertrand (6)
- Show more
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
- Cambridge Tracts In Theoretical Computer Science (5)
- Logic, Epistemology, and the Unity of Science ; (6)
- 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)

	921.	Uncertainty, Rationality, and Agency : [electronic resource] / by Hoek, Wiebe van der [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 350 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	922.	Rigid Flexibility : The Logic of Intelligence / : [electronic resource] : by Wang, Pei [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 402 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	923.	Constructing Correct Software : [electronic resource] / by Cooke, John [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXI, 509 p. 100 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	924.	Theoretical Introduction to Programming : [electronic resource] / by Mills, Bruce [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XI, 358 p. 29 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	925.	Agent Technology from a Formal Perspective : [electronic resource] / by Rouff, Christopher A [editor.] \| Hinchey, Michael [editor.] \| Rash, James [editor.] \| Truszkowski, Walter [editor.] \| Gordon-Spears, Diana [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 354 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	926.	Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / : [electronic resource] : by Bowman, Howard [author.] \| Gomez, Rodolfo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 422 p. 126 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	927.	Discrete Mathematics Using a Computer : [electronic resource] / by O’Donnell, John [author.] \| Hall, Cordelia [author.] \| Page, Rex [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 441 p. 68 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	928.	Computational Intelligence in Fault Diagnosis : [electronic resource] / by Palade, Vasile [editor.] \| Jain, Lakhmi [editor.] \| Bocaniala, Cosmin Danut [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 362 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	929.	Universal Artificial Intellegence : Sequential Decisions Based on Algorithmic Probability / : [electronic resource] : by Hutter, Marcus [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 278 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	930.	Categories for Software Engineering : [electronic resource] / by Fiadeiro, José Luiz [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 250 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	931.	Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / : [electronic resource] : by Mazzola, Guerino [author.] \| Milmeister, Gérard [author.] \| Weissmann, Jody [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 355 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	932.	A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / : [electronic resource] : by Caromel, Denis [author.] \| Henrio, Ludovic [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXXII, 352 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	933.	A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / : [electronic resource] : by Kurki-Suonio, Reino [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXI, 420 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	934.	Abstract Computing Machines : A Lambda Calculus Perspective / : [electronic resource] : by Kluge, W [author.] \| Brauer, W [editor.] \| Rozenberg, G [editor.] \| Salomaa, A [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 384 p. 89 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	935.	Complexity Theory : Exploring the Limits of Efficient Algorithms / : [electronic resource] : by Wegener, Ingo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 308 p. 18 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	936.	Applications of Membrane Computing : [electronic resource] / by Ciobanu, Gabriel [editor.] \| Păun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 441 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	937.	Parameterized Complexity Theory : [electronic resource] / by Flum, J�rg [author.1] \| Grohe, Martin [author.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 495 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	938.	Fuzzy-Neuro Approach to Agent Applications : From the AI Perspective to Modern Ontology / : [electronic resource] : by Lee, Raymond S. T [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 376 p. 126 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	939.	Fundamentals of Algebraic Graph Transformation : [electronic resource] / by Ehrig, Hartmut [author.] \| Ehrig, Karsten [author.] \| Prange, Ulrike [author.] \| Taentzer, Gabriele [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 390 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	940.	Software Engineering 1 : Abstraction and Modelling / : [electronic resource] : by Bj�rner, Dines [author.1] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XL, 714 p. 38 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (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