Miejska Biblioteka Publiczna w Dąbrowie Tarnowskiej
ul. Polna 13
33-200 Dąbrowa Tarnowska

okładka zastępcza

Logika matematyczna w informatyce

Ben-Ari, Mordechai (1948- ), Miłkowska, Mirosława Tłumaczenie, Wydawnictwa Naukowo-Techniczne

Rok wydania: 2006.

Logika matematyczna, Logika temporalna, Informatyka, Matematyka, Logika, Programowanie w logice (informat.) podręcznik akademicki, Logika temporalna podręcznik akademicki, Logika matematyczna podręcznik akademicki, Teoria mnogości podręcznik akademicki, Podręcznik

dostępne:

1 z 1

Autor
Ben-Ari, Mordechai (1948- )
Miłkowska, Mirosława Tłumaczenie
Wydawnictwa Naukowo-Techniczne
Tytuł
Logika matematyczna w informatyce
ISBN
83-204-3221-9 : zł 55
Miejsce wydania
Warszawa :
Wydawnictwo
Wydawnictwa Naukowo-Techniczne,
Rok wydania
2006.
Numer wydania
Wyd. 2.
Objętość
343, [1] s. :
Rozmiary
25 cm.
Seria
Klasyka Informatyki
UKD
510.6(075.8)
510.6:004.42:510.22](075.8)
Hasła przedmiotowe
Logika matematyczna
Logika temporalna
Informatyka
Matematyka
Logika
Programowanie w logice (informat.) podręcznik akademicki
Logika temporalna podręcznik akademicki
Logika matematyczna podręcznik akademicki
Teoria mnogości podręcznik akademicki
Podręcznik
Informacje dodatkowe
Tyt. oryg.: Mathematical Logic for Computer Science" 2001.
Bibliogr. s. 333-335. Indeks. Bibliogr. s. 333-335. Indeks.
020
%a 8320432219
080
%a 510.6(075.8)
080
%a 510.6:004.42:510.22](075.8)
100
%a Ben-Ari, Mordechai %d (1948- )
245
%a Logika matematyczna w informatyce /
250
%a Wyd. 2.
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 temporalna
650
%a Informatyka
650
%a Matematyka
650
%a Logika
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
655
%a Podręcznik
700
%a Miłkowska, Mirosława %e Tłumaczenie
710
%a Wydawnictwa Naukowo-Techniczne
920
%a 83-204-3221-9 : zł 55

Dostępne egzemplarze

1.
Numer inwentarzowy: R-10532
Sygnatura: 51
Status: Do wypożyczenia

Miejska Biblioteka Publiczna w Dąbrowie Tarnowskiej , Dział dla Dorosłych i Młodzieży, ul. Polna 13, 33-200 Dąbrowa Tarnowska

Najczęściej wypożyczane