Open AccessСвойства эффективности интуиционистской теории множеств со схемой collection
Author(s) -
Алексей Германович Владимиров,
Алексей Германович Владимиров
Publication year - 2011
Publication title -
matematičeskie zametki
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2305-2880
pISSN - 0025-567X
DOI - 10.4213/mzm8547
Subject(s) - computer science