國立虎尾科技大學 |

Language: English

Back

The foundations of intuitionistic ma...

Kleene, Stephen Cole, (1909-1994.)

The foundations of intuitionistic mathematics = especially in relation to recursive functions /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The foundations of intuitionistic mathematics/ [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
Reminder of title:	especially in relation to recursive functions /
Author:	Kleene, Stephen Cole,
other author:	Vesley, Richard Eugene,
Published:	Amsterdam :North-Holland Pub. Co., : 1965.,
Description:	viii, 206 p. ;23 cm.;
Subject:	Intuitionistic mathematics. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444534040 (electronic bk.)

The foundations of intuitionistic mathematics = especially in relation to recursive functions /
Kleene, Stephen Cole,1909-1994.

The foundations of intuitionistic mathematicsespecially in relation to recursive functions /[electronic resource] :[by] Stephen Cole Kleene [and] Richard Eugene Vesley. - Amsterdam :North-Holland Pub. Co.,1965. - viii, 206 p. ;23 cm. - Studies in logic and the foundations of mathematics.

"Bibliography, by S. C. Kleene": p. [187]-199.

ISBN: 9780444534040 (electronic bk.)

LCCN: 75020959 Subjects--Topical Terms:

683334
Intuitionistic mathematics.

LC Class. No.: QA9 / .K648

Dewey Class. No.: 511/.33

The foundations of intuitionistic mathematics = especially in relation to recursive functions /
LDR:00898cam a2200217 a 4500 001 809991
005 20130415092012.0
008 150720s1965 ne sb 001 0 eng
010 $a 75020959
020 $a 9780444534040 (electronic bk.)
020 $a 9780444534040
035 $a 13004001
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA9 $b .K648
082 0 0 $a 511/.33
100 1 $a Kleene, Stephen Cole, $d 1909-1994. $3 908994
245 1 4 $a The foundations of intuitionistic mathematics $h [electronic resource] : $b especially in relation to recursive functions / $c [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
260 $a Amsterdam : $b North-Holland Pub. Co., $c 1965.
300 $a viii, 206 p. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics
504 $a "Bibliography, by S. C. Kleene": p. [187]-199.
650 0 $a Intuitionistic mathematics. $3 683334
650 0 $a Recursive functions. $3 633626
700 1 $a Vesley, Richard Eugene, $d 1932- $3 905558
856 4 0 $u http://www.sciencedirect.com/science/book/9780444534040 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

Multimedia

Reviews

Export

pickup library