Advances in Contemporary Logic and Computer Science

DOI10.1090/CONM/235zbMATH Open0919.00038OpenAlexW1683586660MaRDI QIDQ4255356FDOQ4255356

Authors:

Publication date: 11 August 1999

Published in: Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/conm/235

Recommendations

• Conferences
• scientific article; zbMATH DE number 3679726
• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976
• The proceedings of the XVII EBL -- 17th Brazilian logic conference, 2014: a preface
• Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC'2003), Ouro Preto, Minas Gerais, Brazil, July 29 -- August 1, 2003
• Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19--22, 2005.
• Special issue: Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19--22, 2005
• scientific article; zbMATH DE number 51905
• scientific article; zbMATH DE number 2213888
• scientific article; zbMATH DE number 7599993

zbMATH Keywords

ConferenceComputer scienceMathematical logicProceedingsContemporary logicSalvador (Brazil)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (3)

• Title not available (Why is that?)
• Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976

This page was built for publication: Advances in Contemporary Logic and Computer Science

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