Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Linked e-resources

Details

Introduction: Prerequisites
Sentential Logic
Rudiments of First-order Logic
Modal and Intuitionistic Logics
Temporal Logics for linear and branching time and model checking
Finitely and innitely valued logics
Logics for programs and knowledge
Beyond FO within SO.

Browse Subjects

Statistics

from
to
Export