Elements of finite model theory by Leonid Libkin
Libkin, Leonid.Call Number | 511.8 L61E |
Author | Libkin, Leonid |
Title | Elements of finite model theory by Leonid Libkin |
Publication | Berlin: Springer Pub., 2004. |
Physical Description | xiv, 315 p. |
Series | Texts in theoretical computer science |
Subject | Model theory. |
Total Ratings:
0
00689nam a2200217 a 4500
001
vtls001601633
003
VRT
005
20240301162800.0
008
240228 000 0 eng d
020
$a 9783450212027
039
9
$a 202403011628 $b Madhu $y 202402281629 $z ramesh
082
$a 511.8 $b L61E
100
1
$a Libkin, Leonid
245
1
$a Elements of finite model theory $c by Leonid Libkin
260
$a Berlin: $b Springer Pub., $c 2004.
300
$a xiv, 315 p.
440
$a Texts in theoretical computer science
504
$a Includes bibliographical references and index.
650
0
$a Model theory.
999
$a VIRTUA40
999
$a VTLSSORT0080*0200*0820*1000*2450*2600*3000*4400*5040*6500*9992
No Reviews to Display
Subject | Model theory. |