Logic/General Logic/Decidability of Theories

Subject Classification

AMS: Mathematical logic and foundations / General logic / Decidability of theories and sets of sentences

2015

2014

2009

2008