Author
Ben-Ari, Mordechai (1948- )
Miłkowska, Mirosława Tłumaczenie
Wydawnictwa Naukowo-Techniczne
Title
Logika matematyczna w informatyce
ISBN
83-204-3221-9 : zł 55
Place of publication
Warszawa :
Publishing house
Wydawnictwa Naukowo-Techniczne,
Year of publication
2006.
Series
Klasyka Informatyki
510.6:004.42:510.22](075.8)
Object passwords
Logika matematyczna
Programowanie w logice (informat.) podręcznik akademicki
Logika temporalna podręcznik akademicki
Logika matematyczna podręcznik akademicki
Teoria mnogości podręcznik akademicki
Additional information
Tyt. oryg.: Mathematical Logic for Computer Science" 2001.
Bibliogr. s. 333-335. Indeks. Bibliogr. s. 333-335. Indeks.
080
%a 510.6:004.42:510.22](075.8)
100
%a Ben-Ari, Mordechai
%d (1948- )
245
%a Logika matematyczna w informatyce /
260
%a Warszawa :
%b Wydawnictwa Naukowo-Techniczne,
%c 2006.
300
%a 343, [1] s. :
%b il. ;%b rys. ;%b il. ;%b rys. ;%b rys. ;
%c 25 cm.
490
%a Klasyka Informatyki
500
%a Tyt. oryg.: Mathematical Logic for Computer Science" 2001.
504
%a Bibliogr. s. 333-335. Indeks.%a Bibliogr. s. 333-335. Indeks.
650
%a Logika matematyczna
650
%a Logika matematyczna
%v podręcznik akademicki
650
%a Programowanie w logice (informat.)
%v podręcznik akademicki
650
%a Teoria mnogości
%v podręcznik akademicki
650
%a Logika temporalna
%v podręcznik akademicki
700
%a Miłkowska, Mirosława
%e Tłumaczenie
710
%a Wydawnictwa Naukowo-Techniczne
920
%a 83-204-3221-9 : zł 55