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

substitute book cover

Logika matematyczna w informatyce

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

Year of publication: 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

available:

1 from 1

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.
Issue number
Wyd. 2.
Volume
343, [1] s. :
Dimensions
25 cm.
Series
Klasyka Informatyki
UDC
510.6(075.8)
510.6:004.42:510.22](075.8)
Object passwords
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
Additional information
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

Available items

1.
Accession: R-10532
Signature: 51
Status: Checked in

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