Combinators, [lambda]-terms and proof theory / Sören Stenlund

Date :

Editeur / Publisher : Dordrecht, Holland : D. Reidel publishing Company , 1972

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 90-277-0305-1

Catalogue Worldcat

Théorie de la démonstration

Logique combinatoire

Classification Dewey : 511/.3

Collection : Synthese library : monographs on epistemology, logic,methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences / ed. Donald Davidson, Jaakko Hintikka, Gabriel Nuchelmans [etc.] / Dordrecht : Reidel , 1959-