ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Sur une logique intuitionniste (1975)

Moisil, Gr. C.

Springer

Annali di matematica pura ed applicata 102 (1975), S. 203-212

add to mindlist on the mindlist

Details

ISSN: 1618-1891

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics

Notes: Summary In this paper, a sentencial calculus is built up, continuing only one connective, the negation. A very general logic is thus obtained, very similar to that of A. A. Markov.

Type of Medium: Electronic Resource

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

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit