Isbn: 9783540152361 - methods in mathematical logic: proceedings of the 6th latin american symposium on mathematical logic held in caracas, venezuela, aug. 1-6, 1983 (lecture notes in mathematics, 1130, band 1130) (6 Ergebnisse)

235 x 155 mm. Zustand: Gut. 1. Auflage. 410 Seiten Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983. - Innen sauberer, guter Zustand, leicht gebräunt. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Einband angestaubt. - Lecture Notes in Mathematics, volume 1130. Edited by A. Dold and B. Eckmann. B07-02-02N Sprache: Englisch Gewicht in Gramm: 690.…

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-03579 3540152369 Sprache: Englisch Gewicht in Gramm: 550.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Failure of interpolation for quantifiers of monadic type.- Approximation to truth and theory of errors.- Partition relations in arithmetic.- On the axiomatizability of sets in a class theory.- Applications of model theory to real algebraic geometry.- On the space ( ) .- The model extension theorems for 3-theories.- Completeness theorems for the general theory of stochastic processes.- A barren extension.- Proof functional connectives.- Ultraproducts and categorical logic.- Problems in taxonomy, a floating log.- Counting problems in bounded arithmetic.- Definable ultrafilters and elementary end extensions.- On the axiomatization of PRC-fields.- Formalizations of certain intermediate logics Part I.- Types in class set theories.- Generic extensions which do not ADD random reals.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 416 | Sprache: Englisch | Produktart: Bücher | Failure of interpolation for quantifiers of monadic type.- Approximation to truth and theory of errors.- Partition relations in arithmetic.- On the axiomatizability of sets in a class theory.- Applications of model theory to real algebraic geometry.- On the space (?).- The model extension theorems for ?3-theories.- Completeness theorems for the general theory of stochastic processes.- A barren extension.- Proof functional connectives.- Ultraproducts and categorical logic.- Problems in taxonomy, a floating log.- Counting problems in bounded arithmetic.- Definable ultrafilters and elementary end extensions.- On the axiomatization of PRC-fields.- Formalizations of certain intermediate logics Part I.- Types in class set theories.- Generic extensions which do not ADD random reals.…

Zustand: gut. 1985. Methods in Mathematical Logic In deutscher Sprache. pages.