TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Mathematical logic
PY  - 1967///
CY  - New York, London, Sydney
PB  - John Wiley & Sons, Inc.
N1  - Бібліогр. : c. 371-386, Index
ER  -