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

Normal view MARC view ISBD view

PROOF THEORY OF MODAL LOGIC

By: Heinrich Wansing.
Contributor(s): Wansing,Heinrich.
Material type: materialTypeLabelBookPublisher: Kluwer Academic Publishers, Dordrecht c1996Description: x,317.ISBN: 0792341201.Subject(s): Modal Logic -- Congreses | Proof Theory -- CongressesDDC classification: 511.3 | P945W
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur
General Stacks 511.3 P945W (Browse shelf) Available A140520
Total holds: 0

Proceedings Of A Workshop Held At The University Of Hanburg, Nov. 19-20, 1993

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha