Term logic with choice operator. Revised and Enlarged Translation of the first German Edition

DOI10.1007/978-3-540-36203-6zbMath0205.00401OpenAlexW659592381MaRDI QIDQ2542063

Hans Hermes

Publication date: 1970

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-36203-6

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract deductive systems (03B22)

Related Items (3)

A view of programming languages as symbiosis of meaning and computations ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Notes on the theory of variable binding term operators

This page was built for publication: Term logic with choice operator. Revised and Enlarged Translation of the first German Edition