Rajaa
Hakutulokset: S. Stenlund
Rajaa
yhteensä 5 hakutulosta
Combinators, ?-Terms and Proof Theory
nidottu,
2011,
englanti,
ISBN 9789401029155
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present …
Alkaen
125,00 €
Logical Theory and Semantic Analysis
e-kirja,
2012,
englanti,
ISBN 9789401021913
Logical Theory and Semantic Analysis
sidottu,
1974,
englanti,
ISBN 9789027704382
Logical Theory and Semantic Analysis
nidottu,
2011,
englanti,
ISBN 9789401021937
Combinators, ?-Terms and Proof Theory
e-kirja,
2012,
englanti,
ISBN 9789401029131
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present …