Nonconstructive Computational Mathematics

Authors
K.Kunen
Citation
K.kunen, Nonconstructive Computational Mathematics, Journal of automated reasoning , 21(1), 1998, pp. 69-97
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
1
Year of publication
1998
Pages
69 - 97
Database
ACNP
SICI code