scientific article
From MaRDI portal
Publication:3227562
zbMath0067.00201MaRDI QIDQ3227562
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Relations in monadic third-order logic ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ An efficient method for eliminating varying predicates from a circumscription ⋮ Model Theory for the Higher Order Predicate Calculus ⋮ Perspectives on the logical study of language
This page was built for publication:
