Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)
1984 / 10 Vol. 312; Iss. 1522
![](/img/cover-not-exists.png)
Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || The Use of Machines to Assist in Rigorous Proof [and Discussion]
R. Milner and R. S. BirdVolume:
312
Language:
english
Journal:
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
DOI:
10.2307/37442
Date:
October, 1984
File:
PDF, 1.40 MB
english, 1984