Gå direkte til innholdet
Foundations of Constructive Mathematics
Spar

Foundations of Constructive Mathematics

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec­ tions with philosophy and computer science.
Undertittel
Metamathematical Studies
Forfatter
M.J. Beeson
Opplag
Softcover reprint of the original 1st ed. 1985
ISBN
9783642689543
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
18.11.2011
Antall sider
466