scientific article

zbMATH Open0584.03027MaRDI QIDQ3708788

Michel Parigot

Publication date: 1984

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

zbMATH Keywords

first-order logicLindström's theoremback-and-forth relationsdownward Löwenheim-Skolem and compactness properties

Mathematics Subject Classification ID

Abstract model theory (03C95)

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