Date : 2002
Editeur / Publisher : New York : Springer , cop. 2002
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 3-540-41904-7
Logique mathématique non classique
Collection : Monographs in theoretical computer science / Berlin : Springer , [199.]-