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

Cutter no

V111d

Link To Document