Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Choice Logics


Citation: Andreas Blass and Yuri Gurevich, "The Logic of Choice", Journal of Symbolic Logic, vol. 65, no. 3, September 2000, 1264--1310.
Summary: Extensions of first-order logic with the choice construct are studied.
Subjects: Logic & Computability
Download: Available from Yuri Gurevich's WWW site in PostScript or PDF.
Notes: