Proof theory and computer programming
- 作者Ruy J. G. B. de Queiroz; Thomas S. E. Maibaum
- 卷第36卷
- 期第5期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小1261.05KB
- 发表时间1990
- DOI10.1002/malq.19900360505
- 页码389-414
同作者推荐
Axiomatizing geometric constructionsVictor Pambuccian · 2008
Letter to the editorFrank Quinn; Andrew Ranicki; Victor Pambuccian; Florin Diacu · 1997
ReviewsJet Wimp; Joel Spencer; Jet Wimp; Victor Pambuccian · 1999
Letters to the editorLeonard Gillman; Alexander Shen; L. Glasser; Victor Pambuccian; Dan Amir · 1999
What is plane equiaffine geometry?Victor Pambuccian · Aequationes Mathematicae · 2003
Another Splitting of the Pasch AxiomVictor Pambuccian · 2011
About the Spencer and Graham ArticleVictor Pambuccian · 2010
Groups and Plane GeometryVictor Pambuccian · Studia Logica · 2005