國立虎尾科技大學 |

Language: English

Back

Intuitionism and proof theory = Proc...

Workshop on the Preservation of Stability under Discretization ((2001 :)

Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Intuitionism and proof theory/ Edited by A. Kino, J. Myhill and R. E. Vesley.
Reminder of title:	Proceedings of the summer conference at Buffalo, N.Y., 1968 /
other author:	Kino, A.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Amsterdam :North-Holland Pub. Co., : 1970.,
Description:	viii, 516 p. ;23 cm.;
Subject:	Intuitionistic mathematics - Congresses. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780720422573 (electronic bk.)

Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 /
Intuitionism and proof theoryProceedings of the summer conference at Buffalo, N.Y., 1968 /[electronic resource] :Edited by A. Kino, J. Myhill and R. E. Vesley. - Amsterdam :North-Holland Pub. Co.,1970. - viii, 516 p. ;23 cm. - Studies in logic and the foundations of mathematics.

Includes bibliographies.

ISBN: 9780720422573 (electronic bk.)

LCCN: 77097196 Subjects--Topical Terms:

905560
Intuitionistic mathematics
--Congresses.

LC Class. No.: QA9 / .C742 1968

Dewey Class. No.: 164

Intuitionism and proof theory = Proceedings of the summer conference at Buffalo, N.Y., 1968 /
LDR:00873cam a2200217 a 45 001 808515
005 20130329162749.0
008 150720s1970 ne sb 100 0 eng
010 $a 77097196
020 $a 9780720422573 (electronic bk.)
020 $a 9780720422573
035 $a 13002003
040 $a DLC $c DLC $d ICU $d DLC
041 0 $a eng
050 0 0 $a QA9 $b .C742 1968
082 0 0 $a 164
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Intuitionism and proof theory $h [electronic resource] : $b Proceedings of the summer conference at Buffalo, N.Y., 1968 / $c Edited by A. Kino, J. Myhill and R. E. Vesley.
260 $a Amsterdam : $b North-Holland Pub. Co., $c 1970.
300 $a viii, 516 p. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics
504 $a Includes bibliographies.
650 0 $a Intuitionistic mathematics $x Congresses. $3 905560
700 1 $a Kino, A. $3 905556
700 1 $a Myhill, John. $3 905557
700 1 $a Vesley, Richard Eugene, $d 1932- $3 905558
710 2 $a State University College at Buffalo. $3 905559
856 4 0 $u http://www.sciencedirect.com/science/book/9780720422573 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

Multimedia

Reviews

Export

pickup library