Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday

DOI10.1515/9781614518044MaRDI QIDQ2014991zbMATH OpenOpenAlexFDO

Authors

Publication date 18 June 2014

Published in Ontos Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9781614518044

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Special maps on metric spaces (54E40) Structure theory of Boolean algebras (06E05) Theory of computing (68Qxx) Logical aspects of Boolean algebras (03G05) Computability and recursion theory (03Dxx) Ordered sets (06Axx) Model theory (03Cxx) Set theory (03Exx) General logic (03Bxx)

Cited in

(4)

• Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
• scientific article; zbMATH DE number 5794052 (Why is no real title available?)
• A computational glimpse at the Leibniz and Frege hierarchies
• scientific article; zbMATH DE number 3332420 (Why is no real title available?)

This page was built for publication: Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014991)