SFX SFX Services for this record
Language
Title: Decidable cases of first-order temporal logic with functions
Source:

Studia Logica [0039-3215] Hussak yr:2008

Collapse list of basic services Basic (Passwords for e-Journals can be found here )

Full Text

Full text available via JSTOR Archival Journals and Primary Sources Collection
GO
Full text available via SpringerLINK Contemporary 1997-Present
GO
Full text available via SpringerNature JISC Compact Reading 2020
GO