0 Mėgstami
0Krepšelis

Logic Colloquium: Symposium on Logic held at Boston, 1972-73

76,21 
76,21 
2025-07-31 76.2100 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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.

Informacija

Serija: Lecture Notes in Mathematics
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1975
Knygos puslapių skaičius: 260
ISBN-10: 3540071555
ISBN-13: 9783540071556
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematics

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Logic Colloquium: Symposium on Logic held at Boston, 1972-73“

Būtina įvertinti prekę

Goodreads reviews for „Logic Colloquium: Symposium on Logic held at Boston, 1972-73“