10/03/2008 12:07:00 PM
translogi has left a new comment on your post "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 to outofprintmath 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 to outofprintmath at 10/03/2008 12:07:00 PM