ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

О геометрической интерпретации логических выражений (1953)

Расёва, Г. ; Мостовски, А.

Springer

Studia logica 1 (1953), S. 270-273

add to mindlist on the mindlist

Details

ISSN: 1572-8730

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics , Philosophy

Notes: Резюме Целью этой работы есть предложение геометрической интерпретации кванторов для интуиционистского функционального исчисления. Интерпретация эта получается трактуя выражение заключающееn свободных переменных как функцию, областью определения которой является любое абстрактное множество, и значениями которой являются открытые множества соответствующего топологического пространства.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF02272288

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit