3 works on record
Constructive models
2000
Mathematical Problems from Applied Logic I
Computability and Models