scientific article; zbMATH DE number 3896843

MaRDI QIDQ3676070zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

Formal systemsMathematical logic

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• scientific article; zbMATH DE number 605217
• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976
• Methods and Applications of Mathematical Logic
• Abstract consequence and logics. Essays in honor of Edelcio G. de Souza
• scientific article; zbMATH DE number 1181601

Cited in

(6)

• scientific article; zbMATH DE number 605211 (Why is no real title available?)
• A question is more illuminating than an answer. A Festschrift for Paulo A. S. Veloso
• Abstract consequence and logics. Essays in honor of Edelcio G. de Souza
• Feferman and the Truth
• CLASSICAL DETERMINATE TRUTH I
• Newton C. A. da Costa and his relationships with some Soviet/Russian colleagues (1986--2021)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3676070)