RecordNumber

11141

Title

Computation and proof theory

Editor

Edited by M. M. Michter [et al]

Publication

Springer

Publication Year

1984

Collation

viii, 475 p

Series

Lecture notes in mathematics, 1104

Notes

Proceedings of the logic colloquim Aachen, 1983

Subject

Proof theory

ADDED ENTRIES

Richter, E. Borger ed , ^dSeries: Lecture notes in mathematics, 1104

Main Class

511

Sub Class

.3

Cutter no

C738

وارد كنندة اطلاعات

soltani^d// , khodaei^d2003/08/27 09:30:13