Premium
Provability logic—a short introduction
Author(s) -
LINDSTRöM PER
Publication year - 1996
Publication title -
theoria
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1996.tb00529.x
Subject(s) - citation , computer science , arithmetic , information retrieval , library science , mathematical economics , mathematics