scientific article; zbMATH DE number 3387290

MaRDI QIDQ5656739zbMATH OpenFDO

Authors

Publication date 1971

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
• Notion of dynamical input-output systems: causality and state concepts
• A metalogic programming approach: language, semantics and applications
• Data types with errors and exceptions
• Henkin's theorem in textbooks

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)