Inconsistent Models for Relevant Arithme
โ
Robert K. Meyer and Chris Mortensen
๐
Article
๐
1984
๐
Association for Symbolic Logic
๐
English
โ 337 KB