Provability logic

Författare
Per Lindström
Språk
Engelska
Förlag År Ort Om boken ISBN
1996 Sverige, Göteborg 35 sidor.