Jump to main content

yr 〜
yr

Search results 9

Lectures on infinitary model theory : hbk

Lectures on infinitary model theory : hbk
Paper図書
David Marker, University of Illinois, ChicagoAssociation for Symbolic Logic2016
Other Libraries in Japan
  • Subject HeadingInfinitary languages Model theory Logic, Symbolic ...
  • Subject Heading (ID)Infinitary languages Model theory Logic, Symbolic ...

Large infinitary languages : model theory / M. A. Dickmann. (Studies in logic and the foundations of mathematics ; v. 83)

Large infinitary languages : model theory / M. A. Dickmann. (Studies in logic and the foundations of mathematics ; v. 83)
Paper図書
North-Holland Pub. Co.1975.<MA41-96>
National Diet Library
  • Subject HeadingInfinitary languages. Model theory.

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker. (Lecture notes in mathematics ; 492)

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker. (Lecture notes in mathematics ; 492)
Paper図書
Springer-Verlag1975.<MA41-100>
National Diet LibraryOther Libraries in Japan
  • Contents... condition for infinitary languages.
  • Subject HeadingKarp, Carol, 1926-1972. Infinitary languages. Model theory.

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers. [By] H. Jerome Keisler. (Studies in logic and the foundations of mathematics, v. 62)

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers. [By] H. Jerome Keisler. (Studies in logic and the foundations of mathematics, v. 62)
Paper図書
North-Holland Pub. Co.1971.<MA41-43>
National Diet Library
  • Subject HeadingInfinitary languages. Model theory.

The Syntax and semantics of infinitary languages, edited by Jon Barwise. (Lecture notes in mathematics, 72)

The Syntax and semantics of infinitary languages, edited by Jon Barwise. (Lecture notes in mathematics, 72)
Paper図書
Springer-Verlag1968.<MA41-13>
National Diet Library
  • Subject HeadingInfinitary languages.

Large infinitary languages : model theory : series : North-holland : (Elsevier)

Large infinitary languages : model theory : series : North-holland : (Elsevier)
Paper図書
M.A. DickmannNorth-Holland Pub. Co.1975
Other Libraries in Japan
  • Subject HeadingInfinitary languages Model theory Large infinitary languages. Model theory
  • Subject Heading (ID)Infinitary languages Model theory Large infinitary languages. Model theory

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Paper図書
[By] H. Jerome KeislerNorth-Holland Pub. Co.1971
Other Libraries in Japan
  • Subject HeadingInfinitary languages Model theory
  • Subject Heading (ID)Infinitary languages Model theory

Model theory of infinitary languages

Model theory of infinitary languages
Paper図書
M.A. DickmannAarhus Universitet, Matematisk Institut]1970
Other Libraries in Japan
  • Subject HeadingInfinitary languages Model theory
  • Subject Heading (ID)Infinitary languages Model theory

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors : u.s. : gw

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors : u.s. : gw
Paper図書
edited by D.W. KuekerSpringer-Verlag1975
Other Libraries in Japan
  • Subject HeadingKarp, Carol, 1926-1972 Infinitary languages -- Addresses, essays, lecture...
  • Subject Heading (ID)Karp, Carol, 1926-1972 Infinitary languages -- Addresses, essays, lecture...

Reached to the end of result.

RSS