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

Normal view MARC view ISBD view

AXIOM SYSTEMS

By: .
Material type: materialTypeLabelBookSeries: Block Vi. Publisher: Open University Press,Walton Hall 1978Description: 40.Subject(s): AxiomsDDC classification: 511.3 | OP2A
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number url Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur
COMPACT STORAGE (BASEMENT) 511.3 OP2A (Browse shelf) Book Request Available A72321
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
511.3 M851 ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES 511.3 N313s Structural proof theory 511.3 N42 NEW CONSTRUCTIONS IN CELLULAR AUTOMATA 511.3 OP2A AXIOM SYSTEMS 511.3 P219U UNCERTAIN REASONER'S COMPANION 511.3 P662T THEORIES OF COMPUTABILITY 511.3 P846L LOGIC FUNCTIONS AND EQUATIONS

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha