3 options
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Series:
- Lecture Notes in Mathematics, 0075-8434 ; 72.
- Lecture Notes in Mathematics, 0075-8434 ; 72
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Mathematics.
- Logic design.
- Mathematical Logic and Foundations.
- Mathematics, general.
- Logics and Meanings of Programs.
- Local Subjects:
- Mathematical Logic and Foundations.
- Mathematics, general.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (VI, 270 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 9783540359005
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.