10/03/2008 12:07:00 PM
Comment on Discussion
Two books
Smullyans "forever undecided a puzzle guide to godel) ISBN 019-282196-2
a funny introduction to godel
2nd suggestion
A translatiob of
Heytings "Die Formalen regeln der Intuitionistichen Calculi"
1934
As far as i am aware these aricles (3 in total) have not been translated into english but have seen some strange references to it.
Mostly by people who read Johanssons article on minimal logic
Posted by translogi at 10/03/2008 12:07:00 PM
Two books
Smullyans "forever undecided a puzzle guide to godel) ISBN 019-282196-2
a funny introduction to godel
2nd suggestion
A translatiob of
Heytings "Die Formalen regeln der Intuitionistichen Calculi"
1934
As far as i am aware these aricles (3 in total) have not been translated into english but have seen some strange references to it.
Mostly by people who read Johanssons article on minimal logic
Posted by translogi at 10/03/2008 12:07:00 PM