Quantifiers: Logics, Models and Computation: Volume Two: Contributions by Michal
122,09 €
Quantifiers and Inference. - Operators on Branched Quantifiers. - Hilbert's ?. -Symbol in the Presence of Generalized Quantifiers. - Partially Ordered Connectives and Finite Graphs. - Definable Second-Order Quantifiers and Quasivarieties.
Jetzt bei Ebay: