10/03/2008 12:07:00 PM
translogi has left a new comment on your post "newitem":
Heyting; Die formalen Regeln der intuitionistischen Calculi; 1934
[a translation of this book is suggested]
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.
Was #x8.
Posted by translogi to outofprintmath at 10/03/2008 12:07:00 PM
Heyting; Die formalen Regeln der intuitionistischen Calculi; 1934
[a translation of this book is suggested]
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.
Was #x8.
Posted by translogi to outofprintmath at 10/03/2008 12:07:00 PM
