3 options
Logic Colloquium : Symposium on Logic Held at Boston, 1972-73 / edited by Rohit Parikh.
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 ; 453.
- Lecture Notes in Mathematics, 0075-8434 ; 453
- Language:
- English
- Subjects (All):
- Mathematics.
- Mathematics, general.
- Local Subjects:
- Mathematics, general.
- Physical Description:
- 1 online resource (IV, 254 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975.
- System Details:
- text file PDF
- Contents:
- Combinatorial functors
- Equality between functionals
- The use of abstract language in elementary metamathematics: Some pedagogic examples
- Weak monadic second order theory of succesor is not elementary-recursive
- The variable
- Abolition of the fregean axiom
- A realizability interpretation of the theory of species.
- Other Format:
- Printed edition:
- ISBN:
- 9783540374831
- 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.