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

Amazon cover image
Image from Amazon.com

Hybrid logic and its proof-theory

By: Material type: TextTextSeries: Applied Logic Series / Edited By Dov M. Gabbay ; V.37Publication details: Berlin Springer 2011Description: xiii, 231pISBN:
  • 9789400700017
Subject(s): DDC classification:
  • 160 B738h
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur General Stacks 160 B738h (Browse shelf(Opens below)) Available A171135
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha