Explanatory foundations of the rational numbers

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

Original language	English
Title of host publication	Liber Amicorum for Jan A. Bergstra
Editors	Inge Bethke, Bert Bredeweg, Alban Ponse
Place of Publication	Amsterdam
Publisher	Instituut voor Informatica, Universiteit van Amsterdam
Pages	146-147
Number of pages	2
Publication status	Published - 2016

Cite this

@inbook{2f8f16ea6b3444d9bb79fd5158f7633d,

title = "Explanatory foundations of the rational numbers",

author = "A. Visser",

year = "2016",

language = "English",

pages = "146--147",

editor = "Inge Bethke and Bert Bredeweg and Alban Ponse",

booktitle = "Liber Amicorum for Jan A. Bergstra",

publisher = "Instituut voor Informatica, Universiteit van Amsterdam",

}