Proof theory

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Grundlehren der mathematischen wissenschaften,225Publication details: Berlin Springer-Verlag 1977Description: xii,302pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.3 Sch396 (Browse shelf(Opens below))	Available		91225

Total holds: 0

Previous								Next
Previous	511.3 Sc286 Proof theory and intuitionistic systems	511.3 Sc371 Logic for computer scientists	511.3 Sch333 Cellular automata	511.3 Sch396 Proof theory	511.3 Sch415 Proof and computation	511.3 Sh528 Godel's theorem in focus	511.3 Sh528 Metamathematics,machines,and Godel's proof	Next

There are no comments on this title.

to post a comment.