scientific article; zbMATH DE number 638363

zbMATH Open0804.03003MaRDI QIDQ4305337

Teodor Stȩpień

Publication date: 17 October 1994

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

zbMATH Keywords

basic sequentelementary ruleformalization of classical functional calculus with identity

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (8)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Bases for first-order theories and subtheories ⋮ Adding metatheoretic facilities to first-order theories ⋮ Detection of First Order Axiomatic Theories ⋮ On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications

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