Merkliste 
 1 Ergebnisse 
 
1

Non-classical logics, model theory, and computability 

proceedings of the Third Latin-American Symposium on Mathem...  Studies in logic and the foundations of mathematics ; v. 89