Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
From MaRDI portal
Publication:1276269
zbMath0905.03002MaRDI QIDQ1276269
No author found.
Publication date: 24 January 1999
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Theory of numerations, effectively presented structures (03D45) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (10)
Turing meets Schanuel ⋮ Graphs are not universal for online computability ⋮ Primitive recursive reverse mathematics ⋮ Effective versions of local connectivity properties ⋮ Connected choice and the Brouwer fixed point theorem ⋮ FOUNDATIONS OF ONLINE STRUCTURE THEORY ⋮ My work with Victor Marek: a mathematician looks at answer set programming ⋮ Degree invariance in the Π10classes ⋮ Weihrauch and constructive reducibility between existence statements ⋮ Degrees of non-computability of homeomorphism types of Polish spaces
This page was built for publication: Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics