Journal of Logic and Computation
{{Use dmy dates|date=April 2022}}
{{Infobox journal
| title = Journal of Logic and Computation
| cover =
| former_name =
| abbreviation = J. Log. Comput.
| mathscinet = J. Logic Comput.
| discipline = Computer science
| language =
| editor = Dov Gabbay
| publisher = Oxford University Press
| country =
| history = 1990–present
| frequency = Bimonthly
| openaccess =
| license =
| impact =
| impact-year =
| ISSN = 0955-792X
| eISSN = 1465-363X
| CODEN =
| JSTOR =
| LCCN =
| OCLC =
| website = http://logcom.oxfordjournals.org/
| link1 =
| link1-name =
| link2 =
| link2-name =
}}
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay as owner of the journal.
External links
- {{Official website|http://logcom.oxfordjournals.org/}}
Category:Academic journals established in 1990
Category:Computer science journals
Category:Logic in computer science
Category:Formal methods publications
Category:Oxford University Press academic journals
Category:English-language journals
{{compu-journal-stub}}