scientific article; zbMATH DE number 3387290
From MaRDI portal
Publication:5656739
zbMath0245.02001MaRDI QIDQ5656739
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)
Related Items (6)
A second order theory of data types ⋮ Henkin’s Theorem in Textbooks ⋮ A metalogic programming approach: language, semantics and applications ⋮ Data types with errors and exceptions ⋮ Tarski on ``essentially richer metalanguages ⋮ Notion of dynamical input-output systems: causality and state concepts
This page was built for publication:
