|
1.
|
PRINCIPLES OF MATHEMATICS REVISITED
by Hintikka,Jaakko. Material type: 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; 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 cop.1] (2).
|
|
3.
|
Independence-friendly logic
: a game-theoretic approach
by Mann, Allen L | Sandu, Gabriel. Material type: 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 Description: xii, 158p.Publisher: Berlin Springer-Verlag 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 Sm85f] (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; Format:
available online
; 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; Format:
available online
; 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).
|