Logic Programming and Effectively Closed Sets

DOI10.1142/9789813228238_0006OpenAlexW3091909925MaRDI QIDQ4993083

Douglas Cenzer, Victor W. Marek, Jeffery B. Remmel

Publication date: 15 June 2021

Published in: Structure and Randomness in Computability and Set Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789813228238_0006

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)