Hyperincursive nature of the ι-operator

DOI10.1063/1.58242zbMATH Open0957.03501OpenAlexW2083950225MaRDI QIDQ4494331FDOQ4494331

Arturo Graziano Grappone

Publication date: 30 January 2001

Published in: The second international conference on computing anticipatory systems, CASYS’98 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1063/1.58242

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Hyperincursive nature of the ι-operator

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