[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 || The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models
Bonizzoni, Paola, Brattka, Vasco, Löwe, BenediktVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-642-39053-1_41
File:
PDF, 241 KB
english, 2013