| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:134999713:609 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:134999713:609?format=raw |
LEADER: 00609cam a2200169 a 4500
001 bfa41dc457ee45c98759d86d97cbd0f2
003 UK-BiTAL
005 20050705113518.0
008 830707s1965 ne | 000 ||eng|d
035 $a()x818876x
040 $aTP$cTP$dUK-BiTAL
082 04 $a511.2$2y
100 1 $aKleene, Stephen Cole.
245 04 $aThe foundations of intuitionistic mathematics :$bespecially in relation to recursive functions /$c(by) Stephen Cole Kleene, Richard Eugene Vesley.
260 $aAmsterdam :$bNorth-Holland,$c1965.
490 0 $aStudies in logic and the foundations of mathematics
700 1 $aVesley, R. E.