Proof Theory and Intuitionistic Systems

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1971

ISBN

354005541X, 9783540055419

DOI

10.1007/BFb0068783

LCC

QA3 .L28 no. 212,QA9 .L28 no. 212

Open Library ID

OL4770575M

Language

english

Format

DJVU

Filesize

2 MB (2176360 bytes)

Series

Lecture Notes in Mathematics 212

Edition

1

Pages

292\297

Topic

Mathematics › Lectures

Library

Kolxo3

DPI

300

Time added

2009-07-20 03:45:11