Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal systems and recursive functions
~
Dummett, Michael, (1925-2011.)
Formal systems and recursive functions
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal systems and recursive functions/ edited by J.N. Crossley and M.A.E. Dummett.
other author:
Crossley, John N.
Published:
Amsterdam :North-Holland, : 1965.,
Description:
v, 320 p. ;25 cm.;
Subject:
Recursive functions - Congresses. -
Online resource:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444534057 (electronic bk.)
Formal systems and recursive functions
Formal systems and recursive functions
[electronic resource] /edited by J.N. Crossley and M.A.E. Dummett. - Amsterdam :North-Holland,1965. - v, 320 p. ;25 cm. - Studies in Logic and the Foundations of Mathematics ;v. 40. - Studies in logic and the foundations of mathematics ;v. 64, 115..
Includes bibliographical references.
ISBN: 9780444534057 (electronic bk.) Subjects--Topical Terms:
904354
Recursive functions
--Congresses.
LC Class. No.: QA9.615 / .F67 1965
Dewey Class. No.: 511.3/52
Formal systems and recursive functions
LDR
:00838nam a2200205 a 4500
001
808055
005
20130409163022.0
008
150720s1965 ne sb 100 0 eng d
020
$a
9780444534057 (electronic bk.)
020
$a
9780444534057
035
$a
13001351
040
$a
OPELS
$b
eng
$c
OPELS
$d
OCLCQ
$d
OCLCA
$d
OCLCQ
041
0
$a
eng
050
4
$a
QA9.615
$b
.F67 1965
082
0 4
$a
511.3/52
$2
22
245
0 0
$a
Formal systems and recursive functions
$h
[electronic resource] /
$c
edited by J.N. Crossley and M.A.E. Dummett.
260
$a
Amsterdam :
$b
North-Holland,
$c
1965.
300
$a
v, 320 p. ;
$c
25 cm.
490
1
$a
Studies in Logic and the Foundations of Mathematics ;
$v
v. 40
504
$a
Includes bibliographical references.
650
0
$a
Recursive functions
$v
Congresses.
$3
904354
650
0
$a
Logic, Symbolic and mathematical
$v
Problems, exercises, etc.
$3
580379
$3
739480
700
1
$a
Crossley, John N.
$3
903115
700
1
$a
Dummett, Michael,
$d
1925-2011.
$3
904353
830
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 64, 115.
$3
743064
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444534057
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login