![Model theory / Metalogic / Predicate logic / Electronic design automation / Linear temporal logic / First-order logic / Boolean satisfiability problem / Well-formed formula / Constructible universe / Logic / Mathematical logic / Theoretical computer science Model theory / Metalogic / Predicate logic / Electronic design automation / Linear temporal logic / First-order logic / Boolean satisfiability problem / Well-formed formula / Constructible universe / Logic / Mathematical logic / Theoretical computer science](https://www.pdfsearch.io/img/9e22d85c69d9ddd1275db3ebe6f33fab.jpg) Date: 1997-06-05 08:58:45Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science | | BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic withAdd to Reading ListSource URL: www.brics.dkDownload Document from Source Website File Size: 142,67 KBShare Document on Facebook
|