Pages that link to "Item:Q3410669"

From MaRDI portal

← The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669)

Jump to:navigation, search

The following pages link to The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669):

Displaying 1 item.

PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q3410669"