Predicate calculus and arithmetic with Grzegorczyk

MaRDI QIDQ752681zbMATH OpenFDO

Authors N. A. Pankrat'ev

Publication date 1989

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

classical interpretation of intuitionistic predicate calculus and arithmeticGödel transformationintuitionistic arithmetic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30)

Review text

See the review in Zbl 0692.03008.

This page was built for publication: Predicate calculus and arithmetic with Grzegorczyk

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