Kleene fixed-point theorem (Q3527263)

From Wikidata
Jump to navigation Jump to search