Свойства эффективности интуиционистской теории множеств со схемой collection

Алексей Германович Владимиров, Aleksei Germanovich Vladimirov
2011 Математические заметки  
doi:10.4213/mzm8547 fatcat:rxp2m3whevdhhbls65v46tyefm