ENGLISH

Choice sequences: a chapter of intuitionistic mathematics

By Troelstra A.S.

Book information

Publisher
Oxford University Press, Clarendon Press
Year
1977
ISBN
9780198531630, 0-19-853163-X
Language
english
Format
DJVU
Filesize
1 MB (1237141 bytes)
Series
Oxford logic guides 3
Pages
170\180
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
lawless sequences

Similar books