Blick ins Buch

Logic Colloquium

Symposium on Logic held at Boston, 1972-73

R. Parikh (Herausgeber)

Buch | Softcover

IV, 254 Seiten

1975 | 1975
Springer Berlin (Verlag)
978-3-540-07155-6 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	20.5.1975
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	IV, 254 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	372 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Function • Logic • Mathematics • Mathematische Logik • Order theory • Variable
ISBN-10	3-540-07155-5 / 3540071555
ISBN-13	978-3-540-07155-6 / 9783540071556
Zustand	Neuware