Computational logic and set theory

Schwartz Jacob T., Cantone Domenico, Omodeo Eugenio

Kniha

Citace v seznamu literatury:

SCHWARTZ, Jacob T.; CANTONE, Domenico a OMODEO, Eugenio. Computational logic and set theory: applying formalized logic to analysis. London: Springer, c2011. Dostupné z: https://doi.org/9780857298089.

skrýt nepovinné údaje zobrazit další údaje

ISBN*:

Vyplňte povinné pole

Jiný identifikátor:

Autoři:

Jméno:	Příjmení:	Role:

Přidat autora

Korporace:

Název*:

Podnázev:

Svazek:

Vydání*:

Vyplňte povinné pole

Sekundární odpovědnost:

Místo vydání:

Nakladatelství*:

Rok vydání*:

Počet stran:

Edice:

Subedice:

Číslo edice:

Jazyk:

Poznámka:

skrýt nepovinné údaje zobrazit další údaje

Zkontrolovat citaci Uložit