Yachan B. Pnuelli (pnuelli-yb)

Contributi a Philosophie.ch

Bibliography

Makowsky, Johann A. and Pnuelli, Yachan B. 1995. “Computable Quantifiers and Logics over Finite Structures.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 313–357. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.