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

Your search returned 7 results. Subscribe to this search

|
1. PRINCIPLES OF MATHEMATICS REVISITED

by Hintikka,Jaakko.

Material type: book Book Description: xii,288.Publisher: Cambridge Univ. Press, Cambridge c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H596P] (1).

2. First order mathematical logic

by Margaris, Angelo.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 211p.Publisher: New York Dover Publications 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M336f] (2).

3. Independence-friendly logic : a game-theoretic approach

by Mann, Allen L | Sandu, Gabriel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M315i] (1).

4. First-order logic

by Smullyan, Raymond M.

Material type: book Book Description: xii, 158p.Publisher: Berlin Springer-Verlag 1968Availability: No items available Checked out (1).

5. First-order methods in optimization

by Beck, Amir.

Description: xii, 475p.Publisher: Philadelphia SIAM 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.6 B388f] (1).

6. Fundamentals of physical design and query compilation : [electronic resource] /

by Toman, David | Weddell, Grant E. (Grant Edwin) 1954-.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xii, 110 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

7. Introduction to logic : [electronic resource] /

by Genesereth, Michael R 1948- | Kao, Eric.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xiii, 151 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha