scientific article; zbMATH DE number 822106

From MaRDI portal

Publication:4856241

Jump to:navigation, search

zbMath0833.03013MaRDI QIDQ4856241

Publication date: 19 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finitely separable regular logical system LST theorem

Mathematics Subject Classification ID

Other infinitary logic (03C75)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4856241&oldid=19205426"