Logic Colloquium: symposium on logic hel
โ R. Parikh
๐ Library
๐
1975
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Logic Colloquium: Symposium on Logic Held at Boston, 1972โ73
โ Scribed by J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1975
- Tongue
- English
- Leaves
- 257
- Series
- Lecture Notes in Mathematics 453
- Edition
- 1
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Table of Contents
Combinatorial functors....Pages 1-21
Equality between functionals....Pages 22-37
The use of abstract language in elementary metamathematics: Some pedagogic examples....Pages 38-131
Weak monadic second order theory of succesor is not elementary-recursive....Pages 132-154
The variable....Pages 155-168
Abolition of the fregean axiom....Pages 169-239
A realizability interpretation of the theory of species....Pages 240-251
โฆ Subjects
Mathematics, general
๐ SIMILAR VOLUMES
Logic colloquium. Symposium on logic, Bo
โ R. Parikh
๐ Library
๐
1975
๐ Springer
๐ English
Logic Colloquium '73, Proceedings of the
โ H.E. Rose and J.C. Shepherdson (Eds.)
๐ Library
๐
1975
๐ Elsevier Science
๐ English
Logic Colloquium '73
โ Bristol, Eng., 1973. Logic Colloquium
๐ Library
๐
1975
๐ Elsevier Science
๐ English
Logic Colloquium 1981: Herbrand Symposiu
โ J. Stern
๐ Library
๐
1982
๐ Elsevier Science Ltd
๐ English
Logik / Logic
โ Dina Emundts, Sally Sedgwick
๐ Library
๐
2014
๐ Walter De Gruyter
๐ German
<p>Volume 12 of the <em>International Yearbook of German Idealism</em> is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.