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

DOI10.1515/9781614518044zbMATH Open1294.03011OpenAlexW2943872210MaRDI QIDQ2014991FDOQ2014991

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)
• Title not available (Why is that?)
• A computational glimpse at the Leibniz and Frege hierarchies
• Title not available (Why is that?)

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)