Recursion theory for metamathematics
| Основен автор: | Smullyan, Raymond M. |
|---|---|
| Автор-организации: | ebrary, Inc. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
New York :
Oxford University Press,
1993.
|
| Серия: |
Oxford logic guides ;
22. |
| Предмети: | |
| Онлайн достъп: |
An electronic book accessible through the World Wide Web; click to view |
| Физически характеристики: |
xiv, 163 p. |
|---|---|
| Библиография: |
Includes bibliographical references (p. 159-160) and index. |