Buch, Englisch, Band 453, 254 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g
Reihe: Lecture Notes in Mathematics
Symposium on Logic held at Boston, 1972-73
Buch, Englisch, Band 453, 254 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g
Reihe: Lecture Notes in Mathematics
ISBN: 978-3-540-07155-6
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.