Procedural semantics for mathematical constants

BTF Jespersen, M Du¿í

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

Keywords

@inbook{fe47687e79ad460b9027effe28aa20d1,

title = "Procedural semantics for mathematical constants",

keywords = "Boekdeel internat.wet",

author = "BTF Jespersen and M Du¿{\'i}",

year = "2009",

language = "Undefined/Unknown",

isbn = "978-1-904987-46-8",

pages = "57--69",

editor = "M Peli¿",

booktitle = "The Logica yearbook 2008",

publisher = "College Publications",

}