Innbunden bok Pocketbok
Vis utilgjengelige utgivelser

Releases med S.C. Kleene

Cover for S.C. Kleene · Introduction to Metamathematics - Bibliotheca Mathematica (Innbunden bok) (2000)

Introduction to Metamathematics ... (2000)

Cover for S.C. Kleene · Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society (Pocketbok) (1969)

Formalized Recursive Functionals... (1969)