The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

; Vesley, Richard Eugene, 1932-
Amsterdam, North-Holland Pub. Company, 1965.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA9 .K648 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.6 Off-site
Request
Catholic
WRLC Shared Collections Facility
BC6.S9 K63 F7 Off-site
Request
Georgetown
Off-Campus Shelving
QA9 .K648 Available Request
Other Authors Vesley, Richard Eugene, 1932-
Subjects Fonctions récursives.
Intuitionistic mathematics.
Intuïtionisme.
Mathématiques intuitionnistes.
Recursive functions.
Series Studies in logic and the foundations of mathematics.
Description viii, 206 pages 23 cm.
Copyright Date 1965.
Notes "Bibliography, by S.C. Kleene": pages 187-199.
Also issued online.
Network Numbers (OCoLC)213692
(OCoLC)ocm00213692
WorldCat Search OCLC WorldCat
WorldCat Identities Kleene, Stephen Cole, 1909-1994.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks