Switch to: Citations

Add references

You must login to add references.
  1. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Benson Mates. Elementare Logik . German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):615-616.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   720 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Alan R. White - 1965 - Philosophical Quarterly 15 (60):268.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Einführung in die intensionale Semantik.F. von Kutschera - 1981 - Tijdschrift Voor Filosofie 43 (1):199-200.
    Download  
     
    Export citation  
     
    Bookmark   11 citations