Paperback (30 Dec 1969)
Not available for sale
Out of stock
This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.
| ISBN: | 9780821812891 |
| Publisher: | American Mathematical Society |
| Imprint: | American Mathematical Society |
| Pub date: | 30 Dec 1969 |
| Language: | English |
| Number of pages: | 106 |
| Weight: | 204g |
| Height: | 260mm |
| Width: | 184mm |
| Spine width: | 6mm |
The Selfish Gene
Paperback
Published 09 Jun 2016
$0.84off
Four Ways of Thinking
Hardback
Published 27 Aug 2024
Save $0.84
$6.39off
Making Democracy Count
Hardback
Published 28 May 2024
Save $6.39
$7.03off
Introduction to Statistical Tho...
Paperback
Published 30 Sep 2009
Save $7.03
Quadrivium
Hardback
Published 01 Oct 2010
$8.13off
The Simplex, Duplex and Pascal'...
Paperback
Published 25 Jul 2015
Save $8.13
$1.81off
Elliptic Tales
Paperback
Published 28 Oct 2014
Save $1.81
$1.46off
Matrix Groups
Paperback
Published 09 Nov 2001
Save $1.46
$11.51off
Reliability Theory and Practice
Paperback
Published 31 Dec 2004
Save $11.51
$16.35off
Inference and Representation
Hardback
Published 11 Jan 2024
Save $16.35