
Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity
Ivan V. Sergienko
₹4,266

A Study in Finite Models
by Martin Otto
Cambridge University Press · 2017
Martin Otto's study of bounded variable logics and counting, back in print in the Perspectives in Logic series from Cambridge University Press. Suits readers of mathematical logic.
Free delivery. Nothing extra to pay at checkout.
Bounded Variable Logics and Counting is by Martin Otto. The publisher describes its series, Perspectives in Logic and Lecture Notes in Logic, as having published works by leading logicians since it began.
The publisher notes that many early titles in the series had been out of print for years, and that this one is available again. Published by Cambridge University Press. ISBN-13: 9781107167940.