QR kód

Klasická matematická logika /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Sochor, Antonín 1942- (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Praha : Univerzita Karlova v Praze, 2001
Vydání:	1. vyd.
Témata:	výrokový počet > teória modelov > interpolácia > Robinsonova aritmetika > predikátový počet
ISBN:	8024602180
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logika pro všechny ochotné myslet /
Autor: Sochor, Antonín 1942-
Vydáno: (2011)

Logika. Neúplnost, složitost a nutnost /
Autor: Švejdar, Vítězslav
Vydáno: (2002)

Úvod do štúdia matematiky /
Autor: Klenovčan, Pavel
Vydáno: (1996)

Teoretická aritmetika /
Autor: Palumbíny, Daniel
Vydáno: (1994)

Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy /
Autor: Peregrin, Jaroslav
Vydáno: (2004)

Diskrétna matematika. I. diel. Úvod do teórie množín, teórie booleovských funkcií a matematickej logiky /
Autor: Olejár, Daniel
Vydáno: (1992)

Matematická analýza.
Autor: Sabolová, Mária, a další
Vydáno: (2007)

Matematická analýza.
Autor: Sabolová, Mária
Vydáno: (2005)

Numerik für Informatiker /
Autor: Huckle, Thomas
Vydáno: (2002)

Logika /
Autor: Cryan, Dan, a další
Vydáno: (2003)

Matematické vzorce /
Autor: Bartsch, Hans-Jochen
Vydáno: (2002)

Numerical methods and analysis /
Autor: Buchanan, James L.
Vydáno: (1992)

Matematická analýza. 2. diel /
Autor: Moravský, Ladislav
Vydáno: (1992)

Matematická analýza. I. diel. Zbierka príkladov /
Autor: Kačníková, Tatiana
Vydáno: (1995)

Matematické vzorce a metody /
Autor: Bubeník, František 1949-
Vydáno: (1994)

Klasická logika /
Autor: Štěpán, Jan
Vydáno: (1992)

Matematická analýza. 1. diel : Zbierka úloh /
Autor: Moravský, Ladislav
Vydáno: (1991)

Matematická analýza : Integrální počet. Cvičení. 4. díl /
Autor: Pelikán, Štěpán
Vydáno: (1986)

Tvorba matematických modelů. 3. díl /
Autor: Militký, Jiří 1949-
Vydáno: (1986)

Matematická analýza. 3. diel /
Autor: Moravčík, Jozef
Vydáno: (1992)

Matematická analýza. 2. diel : Diferenciálny a integrálny počet funkcie viac premenných /
Autor: Šulka, Róbert
Vydáno: (1988)

Hospodárske výpočty a štatistika pre 2. ročník obchodných akadémií /
Autor: Zelenák, Jozef
Vydáno: (1997)

Počet pravdepodobnosti a matematická štatistika /
Autor: Ivan, Ján
Vydáno: (1983)

Matematická analýza nejen pro fyziky.
Autor: Kopáček, Jiří 1932-
Vydáno: (2007)

Co je a k čemu je vyšší matematika /
Autor: Rektorys, Karel
Vydáno: (2001)

Matematika. II. díl /
Autor: Karásek, Jiří
Vydáno: (1999)

Matematika. II. díl /
Autor: Karásek, Jiří
Vydáno: (2000)

Differenciaľnoje i intergaľnoje isčislenije /
Autor: Banach, Stefan
Vydáno: (1972)

Differenciaľnoje i integraľnoje isčislenije v zadačach /
Autor: Rivkind, Jakov Iosifovič
Vydáno: (1971)

Differensial- og integralregning /
Autor: Selmer, Ernst S.
Vydáno: (1961)

Vorlesungen über Vektor- und Tensorrechnung /
Autor: Eisenreich, Günther
Vydáno: (1971)

Matematická analýza. I. diel /
Autor: Šulka, Róbert
Vydáno: (1996)

Matematická analýza. I. diel. Zbierka príkladov /
Autor: Kačníková, Tatiana
Vydáno: (1994)

Teorie modelů a modelování /
Vydáno: (1967)

Hospodárske výpočty pre 1. ročník obchodných akadémií /
Autor: Zelenák, Jozef
Vydáno: (1993)

Finančná matematika v Exceli /
Autor: Huťka, Vladimír 1936-, a další
Vydáno: (2007)

Finančná matematika v Exceli /
Autor: Huťka, Vladimír 1936-, a další
Vydáno: (2010)

Hospodárske výpočty pre 2. ročník obchodných akadémií /
Autor: Ďuricová, Oľga
Vydáno: (2004)

Finančná matematika v Exceli /
Autor: Huťka, Vladimír 1936-, a další
Vydáno: (2004)

Úvod do diferenciálího a integrálního počtu pro 3. ročník středních průmyslových škol s výukou elektrotechnických studijních oborů a oboru spojová technika /
Autor: Riečan, Beloslav 1936-
Vydáno: (1986)