Intuitionistic Logic

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	The Blackwell Guide to Philosophical Logic
Editors	L. Goble
Place of Publication	Oxford
Publisher	Blackwell Publishers
Pages	224-257
Number of pages	34
Publication status	Published - 2001

Keywords

@inbook{dbadf61f8160439c9d216f5ade166f3c,

title = "Intuitionistic Logic",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "{van Dalen}, D.",

year = "2001",

language = "Undefined/Unknown",

publisher = "Blackwell Publishers",

pages = "224--257",

editor = "L. Goble",

booktitle = "The Blackwell Guide to Philosophical Logic",

}