TY  - BOOK
AU  - Parikh,Rohit
ED  - SpringerLink (Online service)
TI  - Logic Colloquium: Symposium on Logic Held at Boston, 1972–73 
T2  - Lecture Notes in Mathematics,
SN  - 9783540374831
AV  - QA1-939 
U1  - 510 23
PY  - 1975///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Mathematics
KW  - Mathematics, general
N1  - 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
UR  - http://dx.doi.org/10.1007/BFb0064868
ER  -