scientific article; zbMATH DE number 3634209
From MaRDI portal
Publication:4194922
zbMath0408.03001MaRDI QIDQ4194922
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MonographSemanticsSyntaxLinguisticsLambda CalculusPropositional CalculusPropositional Modal LogicFormal LanguagesAnalysis of EnglishTransformational Grammar
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Classical propositional logic (03B05) Combinatory logic and lambda calculus (03B40)