Syntax semantics infinitary languages (4 Ergebnisse)
Sprache: Englisch
Verlag: New York, Springer-Verlag, 1968
- Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 19,37
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. 268 S. D01529 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use Sprache: Englisch Gewicht in Gramm: 670.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,46
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Springer, 1968
Anbieter: Librodifaccia, Alessandria, AL, ItalienLibrodifaccia
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 12,00
EUR 27,90 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: Buone. inglese Condizioni dell'esterno: Leggermente macchiata Condizioni dell'interno: Buone.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,14
EUR 62,12 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactnes…s theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- ( 1, ) properties of unions of models.
