Universics: a theory of universes of discourse for metamathematics and foundations

zbMath1390.03009MaRDI QIDQ1650346

Ioachim Drugus

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v24-n1/12087/

zbMATH Keywords

reductionuniverseinductiondeduction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Universics: a theory of universes of discourse for metamathematics and foundations