|
||
|
|
||
|
|
|
MR776272
(86c:03051)
03F50
(03B70 03F55 68Q45)
Martin-Löf, P. Constructive mathematics and computer programming. With discussion. Mathematical logic and programming languages. Philos. Trans. Roy. Soc. London Ser. A 312 (1984), no. 1522, 501--518. |
|
|
| 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. | ||||
|
|
||||
AMS Home Page
|
