A Formalization of set theory without variables /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Tarski, Alfred, 1902-1983 (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Providence : American Mathematical Society, 1987.
Edice:American mathematical society colloquium publications ; vol. 41
Témata:
LEADER 02760cam a22006977a 4500
001 MUB01000353462
003 CZ BrMU
005 20230816093117.0
008 950406s1987 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2010-02-09 
020 |a 0-8218-1041-3 
040 |a BOD004  |b cze 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a (048.8:082)  |2 MRF 
100 1 |a Tarski, Alfred,  |d 1902-1983  |7 mzk2003187564  |4 aut 
245 1 2 |a A Formalization of set theory without variables /  |c Alfred Tarski, Steven Givant. 
260 |a Providence :  |b American Mathematical Society,  |c 1987. 
300 |a xxi, 318 s. 
490 1 |a American mathematical society colloquium publications ;  |v vol. 41 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
830 0 |a American mathematical society colloquium publications ;  |v vol. 41 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1329 
CAT |c 20050122  |l MUB01  |h 1255 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2151 
CAT |a HANKA  |b 02  |c 20061218  |l MUB01  |h 0928 
CAT |a HANKA  |b 02  |c 20061218  |l MUB01  |h 0928 
CAT |c 20070427  |l MUB01  |h 2141 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0715 
CAT |c 20080429  |l MUB01  |h 1809 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |c 20081212  |l MUB01  |h 0947 
CAT |c 20081212  |l MUB01  |h 1058 
CAT |a ZITTERBART  |b 02  |c 20090907  |l MUB01  |h 0906 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0441 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0001 
CAT |c 20091203  |l MUB01  |h 0030 
CAT |c 20091203  |l MUB01  |h 1706 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0641 
CAT |c 20100209  |l MUB01  |h 0940 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 0953 
CAT |c 20101015  |l MUB01  |h 2225 
CAT |c 20101016  |l MUB01  |h 0233 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0015 
CAT |c 20120610  |l MUB01  |h 1718 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0305 
CAT |c 20140127  |l MUB01  |h 1746 
CAT |c 20150403  |l MUB01  |h 2240 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0913 
CAT |c 20210614  |l MUB01  |h 0857 
CAT |c 20210614  |l MUB01  |h 1848 
CAT |a NEMCOVAX  |b 02  |c 20230816  |l MUB01  |h 0931 
LOW |a POSLANO DO SKCR  |b 2010-02-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 510.6-TARS  |5 3145301644  |4 DPČ: 65-04, matematika  |8 20041229  |f 74  |f Měsíční  |q 20180711  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-TARS  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j PRFST