Logics of time and computation

Enregistré dans:
Détails bibliographiques
Auteur principal : Goldblatt Robert (Auteur)
Format : Livre
Langue : anglais
Titre complet : Logics of time and computation / Robert Goldblatt
Édition : 2nd ed., rev. and expanded.
Publié : Stanford, CA : Center for the Study of Language and Information , cop. 1992
Description matérielle : 1 vol. (IX-180 p.)
Collection : CSLI lecture notes ; 7
Sujets :
LEADER 01647cam a2200505 i 4500
001 PPN023212144
003 http://www.sudoc.fr/023212144
005 20240319103400.0
010 |a 0-937073-93-8  |d $39.95 
010 |a 0-937073-94-6  |b pbk.  |d $15.95 
020 |a US  |b 9212978 
035 |a (OCoLC)25707005 
035 |a ocm25707005 
035 |a Evry5896 
100 |a 19920402d1992 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a US 
105 |a y a 001yy 
106 |a r 
181 1 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 1 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Logics of time and computation  |f Robert Goldblatt 
205 |a 2nd ed., rev. and expanded. 
210 |a Stanford, CA  |c Center for the Study of Language and Information  |d cop. 1992 
215 |a 1 vol. (IX-180 p.)  |d 23 cm 
225 2 |a CSLI lecture notes  |v no. 7 
320 |a Notes bibliogr. and index. 
410 | |0 013520733  |t CSLI lecture notes  |x 2691-2821  |v 7 
606 |3 PPN027413942  |a Modalité (logique)  |2 rameau 
606 |3 PPN027868699  |a Logique mathématique non classique  |2 rameau 
606 |3 PPN027412091  |a Logique temporelle  |2 rameau 
606 |3 PPN027284263  |a Logique  |2 rameau 
676 |a 160  |v 20 
680 |a QA9.46  |b .G65 1992 
700 1 |3 PPN029425719  |a Goldblatt  |b Robert  |f 1949-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20220927  |g AFNOR 
979 |a PHILO 
930 |5 441092107:252893530  |b 441092107  |a L 13210  |j s 
991 |5 441092107:252893530  |a Retroconversion Philosophie 
998 |a 445472