Computable analysis
- 1963
Access Full Book
topAbstract
topHow to cite
topStanisław Mazur. Computable analysis. 1963. <http://eudml.org/doc/268535>.
@book{StanisławMazur1963,
abstract = {CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals................................. 60 IV. Recursive and computable real functions............................ 60 Bibliography...................................................................................... 109},
author = {Stanisław Mazur},
keywords = {mathematical logic},
language = {eng},
title = {Computable analysis},
url = {http://eudml.org/doc/268535},
year = {1963},
}
TY - BOOK
AU - Stanisław Mazur
TI - Computable analysis
PY - 1963
AB - CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals................................. 60 IV. Recursive and computable real functions............................ 60 Bibliography...................................................................................... 109
LA - eng
KW - mathematical logic
UR - http://eudml.org/doc/268535
ER -
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.