LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	510
Title	Logic Colloquium ([EBook] :) : Symposium on Logic Held at Boston, 1972–73 / / edited by Rohit Parikh.
Added Personal Name	Parikh, Rohit editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1975.
Physical Details	IV, 254 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 453
ISBN	9783540374831
Contents note	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.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0064868
Links to Related Works	Subject References: Mathematics . Mathematics, general . Authors: Parikh, Rohit . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 510 .

Catalogue Display