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

Natural deduction : a proof-theoretical study

By: Material type: TextTextPublication details: Stockholm Almqvist & Wiksell 1965Description: 113pSubject(s): DDC classification:
  • 162 P891n
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 162 P891n (Browse shelf(Opens below)) Link to resource Damaged (F) K6040
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha