-
RecordNumber
4567
-
Author
Vaananen, J 1950- (Jouko)
-
Title
Dependence logic : a new approach to independence friendly logic
-
Author Statement
Jouko Vaananen
-
Publication
Cambridge University Press
-
Publication Year
2007
-
Collation
ix, 225 p. : ill. ; 24 cm
-
Series
London Mathematical Society student texts
-
Notes
Includes bibliographical references (p. 220-222) and index.
-
Subject
First-order logic
-
Main class
511.
-
Sub class
3
-
Cutter no
V111d
-
Link To Document :
