scientific article

zbMATH Open0622.68078MaRDI QIDQ3759964FDOQ3759964

Paul J. Voda

Publication date: 1986

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

zbMATH Keywords

negationconservative extensionlogic programmingnon-deterministic Pascal model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Title not available (Why is that?)
• Logic Programming
• Title not available (Why is that?)
• A list of arithmetical structures complete with respect to the first-order definability

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Negation as inconsistency. I 👍 👎
• Logic Programming 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q3759964)