MathSciNet Relay Station
MathSciNet bibliographic data
MR1465816 03D20 (01A60 03-03 03A05)
Sieg, Wilfried Step by recursive step: Church's analysis of effective calculability. Bull. Symbolic Logic 3 (1997), no. 2, 154–180.
For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page

American Mathematical Society American Mathematical Society
201 Charles Street
Providence, RI 02904-6248 USA
© Copyright 2017, American Mathematical Society
Privacy Statement