Osnovanija intuicionistskoj matematiki s točki zrenija : teorii rekursivnych funkcij /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Kleene, Stephen Cole, 1909-1994 (Autor), Vesley, R. E. (Autor)
Další autoři: Kabakov, F. A., 1927-2008 (Překladatel), Kushner, B. A. 1941-2019 (Překladatel)
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1978
Edice:Matematičeskaja logika i osnovanija matematiki
Témata:
Příbuzné jednotky:Přeloženo z: Foundations of intuitionistic mathematics, especially in relations to recursive functions
Obálka
LEADER 02519nam a22005777a 4500
001 MUB01000609780
003 CZ BrMU
005 20220922071643.0
008 091214s1978 ru ||||| |||||||||||rusod
STA |a POSLANO DO SKCR  |b 2019-04-17 
040 |a BOD004  |b cze 
041 1 |a rus  |h eng 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 51  |2 MRF 
080 |a 517.5  |2 MRF 
100 1 |a Kleene, Stephen Cole,  |d 1909-1994  |7 jx20061215011  |4 aut 
245 1 0 |a Osnovanija intuicionistskoj matematiki s točki zrenija :  |b teorii rekursivnych funkcij /  |c S. Klinn, R. Vesli ; perevod s anglijskogo F.A. Kabakova i B.A. Kušnera 
260 |a Moskva :  |b Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury,  |c 1978 
300 |a 271 s. 
490 1 |a Matematičeskaja logika i osnovanija matematiki 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a teorie funkcí  |7 ph116426  |2 czenas 
650 0 9 |a function theory  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
700 1 |a Vesley, R. E.  |4 aut 
700 1 |a Kabakov, F. A.,  |d 1927-2008  |7 mub20221163144  |4 trl 
700 1 |a Kushner, B. A.  |q (Boris Abramovich),  |d 1941-2019  |7 zcu2016910160  |4 trl 
765 0 |t Foundations of intuitionistic mathematics, especially in relations to recursive functions  |9 Rusky 
830 0 |a Matematičeskaja logika i osnovanija matematiki 
CAT |a ZITTERBART  |b 02  |c 20091214  |l MUB01  |h 1004 
CAT |a ZITTERBART  |b 02  |c 20091214  |l MUB01  |h 1014 
CAT |a BATCH-UPD  |b 02  |c 20091219  |l MUB01  |h 0829 
CAT |a BATCH-UPD  |b 02  |c 20100501  |l MUB01  |h 1227 
CAT |c 20101015  |l MUB01  |h 2337 
CAT |c 20101016  |l MUB01  |h 0407 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0133 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1014 
CAT |a VARTECKAX  |b 02  |c 20140924  |l MUB01  |h 0950 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0046 
CAT |c 20190417  |l MUB01  |h 0935 
CAT |a SVERAKOVAX  |b 02  |c 20190426  |l MUB01  |h 1141 
CAT |c 20210614  |l MUB01  |h 0943 
CAT |c 20210614  |l MUB01  |h 1933 
CAT |a HONIGOVAX  |b 02  |c 20220922  |l MUB01  |h 0716 
CAT |a POSPEL  |b 02  |c 20250919  |l MUB01  |h 0037 
CAT |a POSPEL  |b 02  |c 20250925  |l MUB01  |h 0125 
CAT |a POSPEL  |b 02  |c 20250925  |l MUB01  |h 0126 
LOW |a POSLANO DO SKCR  |b 2019-04-17 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 I-24483  |5 3145132169  |4 PČ: 2562-78, DPČ: 365-?, matematika  |8 20091214  |f 75  |f Měsíční SKLAD  |q 20180601  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d I-24483  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK