New Arrivals

Normal view MARC view ISBD view

Techniques of deductive inference

By:

Leblanc, Hugues

Material type: Text

Text

TextPublication details: London Prentice-Hall International, Inc. 1966Subject(s):

DDC classification:

164 L492t

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	164 L492t (Browse shelf(Opens below))	Link to resource	Available		K926

Total holds: 0

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	164 K895EE Elements of mathematical logic (model theory)	164 L26I2 An introduction to symbolic logic	164 L26I2 An introduction to symbolic logic	164 L492t Techniques of deductive inference	164 L626A The axiomatic method	164 L887FE Formal logic	164 L968E2E Elements of mathematical logic	Next

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

P K Kelkar Library

Indian Institute of Technology, Kalyanpur, Kanpur, U P 208016 India| Web: https://pkklib.iitk.ac.in

Email : librarian@iitk.ac.in | Phone : +91 512 259-7233

Visitor Counter:

Powered by Koha