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)
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.