Logic Colloquium

Symposium on Logic held at Boston, 1972-73
Herausgegeben:Parikh, R.

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Mathematics 453
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07155-6
• 1975.
• Seitenzahl: 260
• Erscheinungstermin: 20. Mai 1975
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 426g
• ISBN-13: 9783540071556
• ISBN-10: 3540071555
• Artikelnr.: 23568941

Inhaltsangabe

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.