Normal view MARC view ISBD view

PROOF THEORY

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Grundlehren Der Mathematischen WissenschaftenPublication details: Berlin Springer-Verlag 1977Description: 302Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	511.3 Sch86 (Browse shelf(Opens below))	Link to resource	Available		A53664

Total holds: 0

Previous		No cover image available	No cover image available	No cover image available		No cover image available		Next
Previous	511.3 P994R REDUCTIVE LOGIC AND PROOF-SEARCH	511.3 R149f FOUNDATIONS	511.3 R817m THE MATHEMATICAL THEORY OF L SYSTEMS	511.3 Sch86 PROOF THEORY	511.3 SH18M METAMATHEMATICS MACHINES AND GODELS PROOF	511.3 Sp31a AUTOMATED THEOREM PROVING	511.3 St12r Resolution proof systems	Next

Bibliography : P. 293-296

Original Title : Beweistheorie

There are no comments on this title.

to post a comment.

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