Advanced logic for applications
From MaRDI portal
Publication:1247307
zbMath0381.03003MaRDI QIDQ1247307
Publication date: 1977
Published in: Synthese Library (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06)
Related Items (3)
A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle ⋮ Unnamed Item ⋮ Multigrade extension of relational grammar
This page was built for publication: Advanced logic for applications
