Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

Մատենագիտական մանրամասներ
Հրատարակված է:	[BuA, 8].(2000) S. 71 - 96
Հիմնական հեղինակ:	Schwichtenberg, Helmut (Հեղինակ)
Ձևաչափ:	Հոդված
Լեզու:	German
Առնչվող նյութ:	In: [BuA, 8].(2000)

Նկարագրություն
Նկարագրությունը հասանելի չէ:

Նմանատիպ նյութեր