Logics and admissible rules of constructive set theories

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Rosalie Iemhoff, Robert Passmann

Journal title: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Journal number: 381

Journal publisher: Royal Society of London

Published year: 2023

DOI identifier: 10.1098/rsta.2022.0018

ISSN: 1364-503X