Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Description
- Title: Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
- Subject keyword:
- Additional passwords: Marciszewski, Witold (1930- ). Redaktor
- Physical description: 472 strony : ilustracje, errata ; 25 cm.
- Publication: Wydanie pierwsze.
- Publishing address: Warszawa : Państwowe Wydawnictwo Naukowe, 1987.
- iISBN: 83-01-04998-7
- Comments: Bibliografia na stronach 436-459. Indeksy.
MARC
- 000 @ 02195cam a2200685 i 4500
- 001 @ vtls000108417
- 003 @ VMW
- 005 @ 20231212073700.0
- 008 @ 030805s1987 pl a f |001 0 pol c
- 020 a 8301049987
- 035 a zz2003828965
- 039
9
a 202312120737 b VLOAD c 202307250733 c 202108101420 c 201612080806 d VLOAD d dopke d VLOAD y 200504131028 z JR - 040 a TOR U/KS b pol c TOR U/AKP d TOR U/AP d KR 93/BJs d WR O/PC d GD 27/MDUs d GL 001/FMM e rda
- 099 a hh_48722
- 245
0
0
a Logika formalna : b zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / c pod redakcją Witolda Marciszewskiego. - 250 a Wydanie pierwsze.
- 260 a Warszawa : b Państwowe Wydawnictwo Naukowe, c 1987.
- 300 a 472 strony : b ilustracje, errata ; c 25 cm.
- 336 2 rdacontent a Tekst b txt
- 337 2 rdamedia a Bez urządzenia pośredniczącego b n
- 338 2 rdacarrier a Wolumin b nc
- 504 a Bibliografia na stronach 436-459. Indeksy.
- 650 a Logika.
- 650 a Logika symboliczna i matematyczna.
- 650
2
a Logika - 700
1
- 710
2
- 920 a 83-01-04998-7
- 951 a KIEL_010
- 952 a GDY_17 GD_015 GD_27 GD_88 GD_PAN
- 953 a KR_93
- 955 a STAD_001
- 956 a KR_119
- 957 a KR_197
- 958 a LUBL_58
- 959 a LUBL_64
- 960 a GD_U
- 961 a SIEDL_001 WA_191 WA_392 SIEDL_WSD WA_35 WA_72 WA_829 WA_M
- 962 a KR_U
- 964 a KR_122
- 965 a KR_295
- 966 a GNIEZ_002 POZN_004 POZN_31 POZN_TC POZN_U
- 967 a LUBL_U
- 968 a TOR_048 TOR_U WL_004
- 969 a LUBL_KUL
- 970 a WA_732 WA_958 WA_U
- 971 a L_128 L_68 L_U
- 972 a WR_U WR_56
- 973 a GL_001 KAT_001 KAT_U
- 974 a WR_188 WR_194 WR_O
- 975 a LUBL_M
- 977 a KR_253 KR_283 KR_306 KR_307 KR_SDB
- 978 a OLSZT_003
- 979 a BSTOK_U
- 980 a SZCZ_M SZCZ_U SZCZ_ZUT
- 982 a BYDG_020 BYDG_24
- 983 a SZCZYT_001
- 986 a ROMA_PAN
- 987 a RAD_017
- 999 a VIRTUA40
Dublin Core
Indexes
- Author: Marciszewski, Witold (1930- ).
- Title: Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
- Subject keyword:
- Signature:
- ISBN: 83-01-04998-7
- Exam barcode:
- Place of publication:
- Publisher: Państwowe Wydawnictwo Naukowe,
- Date: 1987.
- Subject:
Copies
To be able to borrow a book, you must have a reader card
- Signature: BG 052393-00-00/06
- Copy location: Akademia Wychowania Fizycznego i Sportu
- Signature: BG 053867-00-00/07
- Copy location: Akademia Wychowania Fizycznego i Sportu