Proof theory and ituitionistic systems Dold A; Heidelberg; Eckmann B; Zurich

By: Contributor(s): Material type: TextTextLanguage: English Series: Lecture Notes in mathematics:a collection of informal reports and seminars; 212Publication details: Berlin Springer-Verlag 1971Description: vii,290p. cmDDC classification:
  • B13, L11
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Status Barcode
Textual Textual Central Science Library Central Science Library B13 L11 (Browse shelf(Opens below)) Available SL0516655

There are no comments on this title.

to post a comment.