Eighth Latin American Symposium on Mathematical Logic, João Pessoa

DOI10.2307/2275207zbMath0753.03005OpenAlexW4254711383MaRDI QIDQ4008764

No author found.

Publication date: 27 September 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275207

zbMATH Keywords

SymposiumLogicLatin AmericaJoão Pessoa (Brazil)

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• The consistency of some intuitionistic and constructive principles with a set theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Eighth Latin American Symposium on Mathematical Logic, João Pessoa