Login / Signup

A Minimal Predicative Set Theory.

Franco MontagnaAntonella Mancini
Published in: Notre Dame J. Formal Log. (1994)
Keyphrases