Logic Colloquium
Symposium on Logic held at Boston, 1972-73
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
48.14 €
Produktdetails
Produktinformationen zu „Logic Colloquium “
Klappentext zu „Logic Colloquium “
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.
Inhaltsverzeichnis zu „Logic Colloquium “
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.
Bibliographische Angaben
- 1975, 260 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: R. Parikh
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540071555
- ISBN-13: 9783540071556
- Erscheinungsdatum: 20.05.1975
Sprache:
Englisch
Kommentar zu "Logic Colloquium"
0 Gebrauchte Artikel zu „Logic Colloquium“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic Colloquium".
Kommentar verfassen