A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers / by K. L. De Bouvere
Material type:
TextLanguage: English Publication details: Amsterdam : North-Holland Pub., 1959Description: vi, 64 p. ; 25 cmSubject(s): DDC classification: - 512.81
| Item type | Current library | Collection | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
|
|
National Library of India New English - Main Stack Division | New English | E512.81 B669 (Browse shelf(Opens below)) | Available | PUR000356656ENG |
Includes index
Academic thesis--Amsterdam
Bibliography: p. 59-60
There are no comments on this title.
