Syntax and Semantics of Infinitary Languages

Häftad, Engelska, 1968

Del 72 i serien Lecture Notes in Mathematics

486 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1968-01-01
Mått:155 x 235 x 16 mm
Vikt:423 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:270
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540042426

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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 compactness 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.

Du kanske också är intresserad av

Del 7

Admissible Sets and Structures

Jon Barwise

Inbunden, 2017

1 837 kr

Language, Proof, and Logic

David Barker-Plummer, Jon Barwise, John Etchemendy

Häftad, 2011

(3)

775 kr

The Liar

Jon Barwise, John Etchemendy

Häftad, 1989

854 kr

Tarski's World: Revised and Expanded

Jon Barwise, John Etchemendy, David Barker-Plummer

Häftad, 2007

330 kr

Situationen und Einstellungen

Jon Barwise, John Perry

Inbunden, 1987

1 885 kr

The Situation in Logic

Jon Barwise

Häftad, 1988

250 kr

Situation Theory and Its Applications: Volume 2

Jon Barwise, Jean Mark Gawron

Inbunden

646 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

2 162 kr

Del 44

Information Flow

Jon Barwise, Jerry Seligman, C. J. van Rijsbergen

Inbunden, 1997

941 kr

Del 44

Information Flow

Jon Barwise, Jerry Seligman

Häftad, 2008

773 kr