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

Refine your search

Availability
- Limit to currently available items.
Authors
- Beck, Amir (1)
- Mann, Allen L. (1)
- Margaris, Angelo (1)
- Smullyan, Raymond M. (1)
- Weddell, Grant E. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7)
Home libraries
- PK Kelkar Library, IIT Kanpur (7)
Item types
- Books (5)
- E books (2)
- Text Books (1)
Series
Topics
- First-order logic (2)
- First-order logic. (2)
- Game theory (1)
- Logic. (1)
- Querying (Computer science) (1)
- Show more

	1.	PRINCIPLES OF MATHEMATICS REVISITED by Hintikka,Jaakko. Material type: Book Description: xii,288.Publisher: Cambridge Univ. Press, Cambridge c1996Availability: No items available Place hold Add to cart (remove)
	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: No items available Place hold Add to cart (remove)
	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: No items available Place hold Add to cart (remove)
	4.	First-order logic by Smullyan, Raymond M. Material type: Book Description: xii, 158p.Publisher: Berlin Springer-Verlag 1968Availability: No items available Place hold Add to cart (remove)
	5.	First-order methods in optimization by Beck, Amir. Description: xii, 475p.Publisher: Philadelphia SIAM 2017Availability: No items available Place hold Add to cart (remove)
	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: No items available Place hold Add to cart (remove)
	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: No items available 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

Topics