Selected Papers on Automath

✍ R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors) 📂 Library 📅 1994 🏛 North-Holland 🌐 English

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to

Selected papers on automath

📁 Selected papers on automath

✍ Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.) 📂 Library 📅 1994 🏛 Elsevier 🌐 English

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to

Selected papers on automath

📁 Selected papers on automath

✍ R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer 📂 Library 📅 1994 🏛 Elsevier 🌐 English

Selected Papers on Automath

📁 Selected Papers on Automath

✍ R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer 📂 Library 📅 1994 🏛 North Holland 🌐 English

Selected Papers on Automath

📁 Selected Papers on Automath

✍ R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer 📂 Library 📅 1994 🏛 North Holland 🌐 English

Selected Papers on Automath (Studies in

📁 Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

✍ R.P. Nederpelt (editor), J.H. Geuvers (editor), R.C. de Vrijer (editor) 📂 Library 📅 1994 🏛 North Holland 🌐 English

<span>The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors