scientific article; zbMATH DE number 3387290

zbMATH Open0245.02001MaRDI QIDQ5656739FDOQ5656739

Author name not available (Why is that?)

Publication date: 1971

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)

Cited In (6)

• A second order theory of data types
• Tarski on ``essentially richer metalanguages
• Henkin’s Theorem in Textbooks
• Notion of dynamical input-output systems: causality and state concepts
• A metalogic programming approach: language, semantics and applications
• Data types with errors and exceptions

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