scientific article

zbMath0758.18007MaRDI QIDQ3994020

Mbila-Mambu Mawanda, Busiso P. Chisala

Publication date: 13 August 1992

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1991__32_4_345_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitynatural number objectDeMorgan's lawKuratowski finite parts

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Cites Work

• On natural number objects, finiteness and Kripke-Platek models in toposes
• Unnamed Item
• Unnamed Item

This page was built for publication: