Elementary logics : a procedural perspective /

Bibliographic Details
Main Author: Gabbay, Dov M., 1945-
Format: Book
Language:English
Published: London : Prentice-Hall europe, 1998.
Series:Prentice-Hall series in computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122735.0
008 111011s1998 enk||||| |||| 00| 0 eng d
020 |a 0137263651 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 5713  |a Gabbay, Dov M.,  |d 1945- 
245 1 0 |a Elementary logics :   |b a procedural perspective /  |c  Dov M. Gabbay. 
260 |a London :   |b Prentice-Hall europe,   |c 1998. 
300 |a 353 p. ;  |c 24 cm. 
490 0 |a Prentice-Hall series in computer science 
650 4 |a Lógica y significado de programas. 
650 4 |a Logics and meanings of programs. 
942 |c LIBRO  |2   
945 |a MCR  |d 2012-08-10 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_G112  |7 0  |9 7098  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F3 G112   |p 13816  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5352  |d 5352