Andere Kunden interessierten sich auch für
![Conference in Mathematical Logic - London '70]( "Conference in Mathematical Logic - London '70")
Conference in Mathematical Logic - London '7031,99 €![The Syntax and Semantics of Infinitary Languages]( "The Syntax and Semantics of Infinitary Languages")
The Syntax and Semantics of Infinitary Languages35,99 €![Introduction to Mathematical Logic]( "Introduction to Mathematical Logic")
Introduction to Mathematical Logic38,99 €![Cambridge Summer School in Mathematical Logic]( "Cambridge Summer School in Mathematical Logic")
Cambridge Summer School in Mathematical Logic40,99 €![Modelltheorie]( "Modelltheorie")
Modelltheorie49,99 €![ISILC - Logic Conference]( "ISILC - Logic Conference")
ISILC - Logic Conference40,99 €![Algebra and Logic]( "Algebra and Logic")
Algebra and Logic32,99 €
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.