Osnovanija matematiki. Teorija dokazateľstv /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Kniha |
| Jazyk: | ruština |
| Vydáno: |
Moskva :
Nauka,
1982
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Teorija dokazateľstv /
Autor: Takeuti, Gaisi
Vydáno: (1978)
Autor: Takeuti, Gaisi
Vydáno: (1978)
Osnovanija matematiky : logičeskije isčislenija i formalizacija aritmetiki /
Autor: Hilbert, David, a další
Vydáno: (1979)
Autor: Hilbert, David, a další
Vydáno: (1979)
Teorija dokazateľstv i konstruktivnaja matematika /
Autor: Barwise, J.
Vydáno: (1983)
Autor: Barwise, J.
Vydáno: (1983)
Issledovanija po teorii dokazateľstv : sbornik statej /
Autor: Kreisel, G.
Vydáno: (1981)
Autor: Kreisel, G.
Vydáno: (1981)
OSNOVANIJA GEOMETRII /
Autor: Aleksandrov, Aleksandr Danilovič
Vydáno: (1987)
Autor: Aleksandrov, Aleksandr Danilovič
Vydáno: (1987)
OSNOVANIJA I FUNDAMENTY /
Autor: Berlinov, Michail Vasiljevič
Vydáno: (1988)
Autor: Berlinov, Michail Vasiljevič
Vydáno: (1988)
PRUŽINNYJE OSNOVANIJA MEBELI /
Autor: Abušenko, Aleksandr Viktorovič
Vydáno: (1985)
Autor: Abušenko, Aleksandr Viktorovič
Vydáno: (1985)
Osnovanija i fundamenty /
Autor: Laletin, Nikolaj Vasiľjevič
Vydáno: (1970)
Autor: Laletin, Nikolaj Vasiľjevič
Vydáno: (1970)
Osnovanija i fundamenty : kratkij kurs /
Autor: Cytovič, Nikolaj Aleksandrovič
Vydáno: (1970)
Autor: Cytovič, Nikolaj Aleksandrovič
Vydáno: (1970)
OSNOVANIJA I FUNDAMENTY REZERVUAROV /
Autor: Ivanov, Jurij Konstantinovič
Vydáno: (1989)
Autor: Ivanov, Jurij Konstantinovič
Vydáno: (1989)
Skaľnyje osnovanija gidrotechničeskich sooruženij /
Autor: Pročuchan, Daniil Petrovič, a další
Vydáno: (1971)
Autor: Pročuchan, Daniil Petrovič, a další
Vydáno: (1971)
Osnovanija strukturnogo sinteza mechanizmov /
Autor: Koževnikov, Sergej Nikolajevič
Vydáno: (1979)
Autor: Koževnikov, Sergej Nikolajevič
Vydáno: (1979)
DOROŽNYJE OSNOVANIJA IZ BITUMOPESČANYCH SMESEJ /
Autor: Finašin, Viktor Nikolajevič
Vydáno: (1984)
Autor: Finašin, Viktor Nikolajevič
Vydáno: (1984)
Grunty i osnovanija gidrotechničeskich sooruženij /
Autor: Ivanov, Petr Leonťjevič
Vydáno: (1985)
Autor: Ivanov, Petr Leonťjevič
Vydáno: (1985)
OSNOVANIJA, FUNDAMENTY I PODZEMNYJE SOORUŽENIJA /
Autor: Gorbunov-Posadov, Michail Ivanovič
Vydáno: (1985)
Autor: Gorbunov-Posadov, Michail Ivanovič
Vydáno: (1985)
Sovremennyje osnovanija obščej teorii sistem /
Autor: Porter, Wiliam A.
Vydáno: (1971)
Autor: Porter, Wiliam A.
Vydáno: (1971)
Kontaktnyje zadači dlja linejno-deformirujemogo osnovanija /
Autor: Popov, Gennadij Jakovlevič
Vydáno: (1982)
Autor: Popov, Gennadij Jakovlevič
Vydáno: (1982)
Osnovanija i fundamenty v torfjanych gruntach /
Autor: Morareskul, Nikolaj Nikolejevič
Vydáno: (1979)
Autor: Morareskul, Nikolaj Nikolejevič
Vydáno: (1979)
INŽENERNAJA GEOLOGIJA, MECHANIKA GRUNTOV, OSNOVANIJA I FUNDAMENTY /
Autor: Švecov, Gennadij Ivanovič
Vydáno: (1987)
Autor: Švecov, Gennadij Ivanovič
Vydáno: (1987)
Osnovanija i fundamenty gidrotechničeskich i energetičeskich sooruženij /
Autor: Butorin, S. L.
Vydáno: (1986)
Autor: Butorin, S. L.
Vydáno: (1986)
Metod ocenki effekta rassejanija energii zemletrjasenija v grunte osnovanija /
Autor: Matvejev, Lev Vasiľjevič
Vydáno: (1986)
Autor: Matvejev, Lev Vasiľjevič
Vydáno: (1986)
Nagljadnaja geometrija /
Autor: Hilbert, David
Vydáno: (1981)
Autor: Hilbert, David
Vydáno: (1981)
Teorija električeskich fiľtrov /
Autor: Rhodes, John David
Vydáno: (1980)
Autor: Rhodes, John David
Vydáno: (1980)
TEORIJA RELJACIONNYCH BAZ DANNYCH /
Autor: Maier, David
Vydáno: (1987)
Autor: Maier, David
Vydáno: (1987)
Teorija linejnych ekonomičeskich modelej /
Autor: Gale, David
Vydáno: (1963)
Autor: Gale, David
Vydáno: (1963)
Chrestomatija po istorii matematiki. Arifmetika i algebra. Teorija čisel. Geometrija /
Autor: Bašmakova, Izabella Grigorjevna
Vydáno: (1976)
Autor: Bašmakova, Izabella Grigorjevna
Vydáno: (1976)
TEORIJA INFORMACII I TEORIJA ALGORITMOV /
Autor: Kolmogorov, Andrej Nikolajevič 1903-1987
Vydáno: (1987)
Autor: Kolmogorov, Andrej Nikolajevič 1903-1987
Vydáno: (1987)
Matematičeskij intuicionizmus : vvedenije v teoriju dokazateľstv. /
Autor: Dragalin, Albert Grigorjevič
Vydáno: (1979)
Autor: Dragalin, Albert Grigorjevič
Vydáno: (1979)
Teorija kodirovanija i teorija informacii /
Autor: Chemming, R. V.
Vydáno: (1983)
Autor: Chemming, R. V.
Vydáno: (1983)
Teorija giroskopa : teorija ustrojčivosti /
Autor: Metelicyn, Ivan Ivanovič
Vydáno: (1977)
Autor: Metelicyn, Ivan Ivanovič
Vydáno: (1977)
Teorija matric /
Autor: Lancaster, Peter
Vydáno: (1982)
Autor: Lancaster, Peter
Vydáno: (1982)
Kombinatornaja teorija /
Autor: Aigner, Martin 1942-
Vydáno: (1982)
Autor: Aigner, Martin 1942-
Vydáno: (1982)
ANALITIČESKAJA TEORIJA ČISEL I TEORIJA FUNKCIJ /
Autor: Andrianov, A. N.
Vydáno: (1987)
Autor: Andrianov, A. N.
Vydáno: (1987)
Teorija rassejanija. Kvantovaja teorija nereljativistskich stolknovenij /
Autor: Taylor, John R.
Vydáno: (1975)
Autor: Taylor, John R.
Vydáno: (1975)
Teorija grafov. Teorija kodirovnija i blokschemy /
Autor: Cameron, P. J.
Vydáno: (1980)
Autor: Cameron, P. J.
Vydáno: (1980)
Teorija aviacionnych dvigatelej. Teorija lopatočnych mašin /
Autor: Kazandžan, Porgos Karapetovič
Vydáno: (1983)
Autor: Kazandžan, Porgos Karapetovič
Vydáno: (1983)