|
|
|
|
| LEADER |
02456cam a22006377a 4500 |
| 001 |
MUB01000362770 |
| 003 |
CZ BrMU |
| 005 |
20240824080920.0 |
| 008 |
991025s1998 ne ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-02-12
|
| 020 |
|
|
|a 0-444-86748-1
|q (Hardback)
|
| 020 |
|
|
|a 0-444-87508-5
|q (Paperback)
|
| 040 |
|
|
|a BOD004
|b cze
|d BOD004
|
| 072 |
|
7 |
|a 510
|x Obecné úvahy o matematice
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a (048.8)
|2 MRF
|
| 100 |
1 |
|
|a Barendregt, Henk
|q (Hendrik Pieter),
|d 1947-
|7 ntk2013782542
|4 aut
|
| 245 |
1 |
4 |
|a The lambda calculus :
|b its syntax and semantics /
|c H.P. Barendregt
|
| 250 |
|
|
|a Rev. ed.
|
| 260 |
|
|
|a Amsterdam :
|b Elsevier,
|c 1998
|
| 300 |
|
|
|a xv, 621 s.
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics ;
|v vol. 103
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 830 |
|
0 |
|a Studies in logic and the foundations of mathematics ;
|v vol. 103
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1335
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1257
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2153
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2142
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0718
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1810
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1122
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0035
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1713
|
| CAT |
|
|
|c 20100212
|l MUB01
|h 0852
|
| CAT |
|
|
|a JANA
|b 02
|c 20100309
|l MUB01
|h 1520
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20100501
|l MUB01
|h 0959
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2227
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0237
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0018
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1724
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0325
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2247
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0923
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20170516
|l MUB01
|h 1348
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0858
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1849
|
| CAT |
|
|
|a KOURILOVAX
|b 02
|c 20240824
|l MUB01
|h 0809
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-02-12
|
| 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-BARE
|5 3145308384
|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-BARE
|e unavailable
|t Není k dispozici
|f 1
|g 1
|h N
|i 6
|j PRFST
|