VIAF ID: 109292456
4xx's: Alternate Name Forms (1)
- 400 1 _
- Trial and error relations and their guessing functions.
- Some results on relative interpretability.
- Remarks on provability and interpretability
- Omitting uncountable types and extensions of elementary logic.
- More on partially conservative sentences and interpretability.
- Logic and abstraction : essays dedicated to Per Lindström on his 50. birthday
Countries of Publication (1)
Selected Publishers (2)
History of VIAF ID:109292456 (17)