Perspectives in Logic

Model-Theoretic Logics

J. Barwise and S. Feferman (none)

Book information

Contributors
J. Barwise and S. Feferman (none)

Publication information
Perspectives in Mathematical Logic, Volume 8
New York: Springer-Verlag, 1985
893 pp.

Dates
Publication date: 1985
First available online in Project Euclid: 23 February 2009

Permanent link to this book
http://projecteuclid.org/euclid.pl/1235417263

Mathematical Reviews (MathSciNet):
MR0819531

Subjects
Primary: 03CXX

Rights
Copyright © 1985, Association for Symbolic Logic

Citation
J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985)

Select/deselect all
  • Export citations
Abstract PDF
Abstract PDF

Part A: Introduction, Basic Theory and Examples

Abstract PDF
Abstract PDF
Abstract PDF

Part B: Finitary Languages with Additional Quantifiers

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

Part C: Infinitary Languages

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

Part D: Second-Order Logic

Abstract PDF
Abstract PDF

Part E: Logics of Topology and Analysis

Abstract PDF
Abstract PDF
Abstract PDF

Part F: Advanced Topics in Abstract Model Theory

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Select/deselect all
  • Export citations