Logic Colloquium bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783540071556

Hersteller:
Springer Verlag

Herst.-Nr.:
9783540071556

EAN/GTIN:
9783540071556

Suchbegriffe:

Mathematik-Bücher
Mathematikbücher - englischsprachig
mathematikbücher - englischsprachig

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.

Weitere Informationen:


Author:	R. Parikh
Verlag:	Springer Berlin
Sprache:	eng

... > Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Sonstiges

Weitere Suchbegriffe: mathematischeLogik; Function; mathematics; Ordertheory; Variable, Logic, Mathematische Logik, function, mathematics, order theory, variable