Login / Signup

The First-order Logic of CZF is intuitionistic First-order Logic.

Robert Paßmann
Published in: J. Symb. Log. (2024)
Keyphrases