|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00000068954 |
| 005 |
20260807092807.5 |
| 008 |
100913s1976 pl a |100 0 eng c |
| 035 |
|
|
|a xx001822955
|
| 035 |
|
|
|a (GDPAN)vtls000068456
|
| 039 |
|
9 |
|a 202105200725
|b VLOAD
|c 201707040716
|d VLOAD
|y 201202131503
|z catok
|
| 040 |
|
|
|a KR U/47DB
|c KR U/47DB
|d KR U/47MCz
|d SZCZ U/MLs
|
| 245 |
0 |
0 |
|a Formal methods in the methodology of empiricial sciences :
|b proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 /
|c ed. by Marian Przełęcki, Klemens Szaniawski and Ryszard Wójcicki ; assoc. ed. Grzegorz Malinowski.
|
| 260 |
|
|
|a Wrocław [etc.] :
|b Ossolineum,
|c 1976.
|
| 300 |
|
|
|a 457 s. :
|b il. ;
|c 23 cm.
|
| 336 |
|
|
|a Tekst
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Bez urządzenia pośredniczącego
|b n
|2 rdamedia
|
| 338 |
|
|
|a Wolumin
|b nc
|2 rdacarrier
|
| 504 |
|
|
|a Bibliogr. przy wiekszości rozdz.
|
| 650 |
|
|
|a Logika symboliczna i matematyczna.
|0 s95010216
|9 0fe9dce6-f3df-4c9f-abd8-2e77964820b4
|
| 650 |
|
|
|a Matematyka
|x metodologia.
|0 s01320310
|9 92267569-5516-48ff-a727-1e7426b5bd13
|
| 700 |
1 |
|
|a Przełęcki, Marian
|d (1923-2013).
|e Red.
|0 n96028359
|9 660a626b-ef32-4aa0-a055-5ce963ce2234
|
| 700 |
1 |
|
|a Szaniawski, Klemens
|d (1925-1990).
|e Red.
|0 n94206185
|9 98b618e0-90ec-4a12-828a-813330c88ae6
|
| 700 |
1 |
|
|a Malinowski, Grzegorz
|d (1945- ).
|e Red.
|0 n97001046
|9 aea3328a-32c5-4dd6-92af-edd7e5412af3
|
| 700 |
1 |
|
|a Wójcicki, Ryszard
|d (1931- ).
|e Red.
|0 n94301165
|9 d339f35b-6dfc-47b5-8cd9-4da15c5bf46e
|
| 710 |
2 |
|
|a Zakład Narodowy im. Ossolińskich.
|4 pbl
|0 n97047650
|9 c7731240-1ffa-4880-a74c-678d8cf93a94
|
| 999 |
|
|
|a VIRTUA4
|
| 999 |
f |
f |
|i a52f9262-eb21-453c-a441-f373df95d698
|s ded1c47d-9af4-43e3-90c2-e7510d3ea5c4
|t 0
|