Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls [logika; Rozpravy Československé akademie věd]

Druh zboží: kniha
CN: A42376
Autor: Mleziva, Miroslav
Stav: Použitá
Dostupnost: SKLADEM MIMO PRODEJNU (info)
Cena: 250Kč
Množství:
 

Český titul: "Zprostředkované způsoby axiomatisace systémů dvouhodnotového výrokového kalkulu, obsahujících implikaci mezi svými primitivními funktory".

Rozpravy Československé akademie věd. Řada společenských věd, ročník 69, 1959, sešit 12.

Viz naskenovaný obsah.

Text německy; kniha obsahuje české resumé.

Vydání: Praha: Nakladatelství ČSAV 1959, brož., 67 s., 8° (17 x 24 cm)

Stav knihy: Vynikající stav.

Valentinská © 2021