Merkliste 
 1 Ergebnisse 
 
1

Classical first-order logic 

Cambridge elements, Elements in philosophy and logic