scientific article; zbMATH DE number 3752837

zbMATH Open0479.03026MaRDI QIDQ3936731FDOQ3936731

Authors: Albert G. Dragalin 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

realizabilityquantifiersKleene slashenriched pseudo-Boolean algebrasinterpretation of formulas with variablespropositional operations

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25)

This page was built for publication:

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