Ejemplos de traducción
Brittiläinen filosofia jakautui estetiikassa intuitionistiseen ja analyyttiseen leiriin.
The British were largely divided into intuitionist and analytic camps.
Konstruktiivisen joukko-opin järjestelmät kuten CST, CZF ja IZF yhdistävät aksioomansa intuitionistiseen logiikkaan ensimmäisen kertaluvun logiikan sijasta.
Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical logic.