Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Påfyllt med fler pocketböcker – 4 för 3 →

Syntax and Semantics of Infinitary Languages

Häftad, Engelska, 1968

Del 72 i serien Lecture Notes in Mathematics

490 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

Jon Barwise, John Etchemendy, David Barker-Plummer - Tarski's World: Revised and Expanded, Häftad

Tarski's World: Revised and Expanded

Jon Barwise, John Etchemendy, David Barker-Plummer

Häftad, 2007

337 kr

Jon Barwise, John Perry - Situationen und Einstellungen, Inbunden

Situationen und Einstellungen

Jon Barwise, John Perry

Inbunden, 1987

1 953 kr

Jon Barwise - The Situation in Logic, Häftad

The Situation in Logic

Jon Barwise

Häftad, 1988

255 kr

Jon Barwise, Jean Mark Gawron - Situation Theory and Its Applications: Volume 2, Inbunden

Situation Theory and Its Applications: Volume 2

Jon Barwise, Jean Mark Gawron

Inbunden

646 kr

Jon Barwise - Syntax and Semantics of Infinitary Languages, E-bok

Syntax and Semantics of Infinitary Languages

Jon Barwise

E-bok

2006

649 kr

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise - Logical Reasoning with Diagrams, Inbunden

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Gerard Allwein, Jon Barwise

Inbunden, 1996

2 240 kr

Jon Barwise, Jerry Seligman, C. J. van Rijsbergen - Information Flow, Inbunden

Del 44

Information Flow

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

Inbunden, 1997

975 kr

Jon Barwise, Jerry Seligman - Information Flow, Häftad

Del 44

Information Flow

Jon Barwise, Jerry Seligman

Häftad, 2008

773 kr

Jerry Seligman, Jon Barwise - Information Flow, E-bok

Information Flow

Jerry Seligman, Jon Barwise

E-bok

1997

962 kr

Jon Barwise, Gerard Allwein - Logical Reasoning with Diagrams, E-bok

Logical Reasoning with Diagrams

Jon Barwise, Gerard Allwein

E-bok

1996

1 869 kr