SubTitle

Godel and other logicians

Author Statement

[by Gaisi Takeuti]

Uni. Title

Gederu.English

Collation

xviii, 135 P

Addition

,

Title

Memoirs of a proof theorist

LC Class

511

LC Number

.3

LC CutterNumber

T 136 M

تاريخ ورود اطلاعات

1383/06/01

Publication Year

2003

Birth-Death

1926-

Publication

World Scientific

Subject

Proof theory

Translator

[Translated by] Mariko Yasugi,Nicholas Passell

DocumentNumber

7858

ISBNN

, 1 , 9883 , 2-1

RecordNumber

4131