Formal systems and recursive functions.
By: Contributor(s): Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam North-Holland Publishing 1965Description: 320p. cmDDC classification: - R193, K5
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
South Campus Library | South Campus Library | R193 K5 (Browse shelf(Opens below)) | Available | SC0448116 |
There are no comments on this title.
Log in to your account to post a comment.
-
1
Africa South of the Sahara 1973,1974
-
2
Africa South of the Sahara 1973,1974
-
3
Balance sheets and the lending banker
by Clemens J H -
4
Balance sheets and the lending banker
by Clemens J H -
5
Corporate trustees
by Marsh D. R. -
6
Dictionary of political quotations
by Stewart Rober Co. -
7
Eastern Europe Russia and Central Asia
-
8
Eastern Europe Russia and Central Asia
-
9
ENVIRONMENT ENCLOPEDIA and diectory
by Europa -
10
Europa World of learning 2005
-
11
Europa World of learning 2005
-
12
Europa World of learning 2005
-
13
Europa World of learning 2005
-
14
Europa World yearbook 1999
-
15
European union encyclopedia and directory 1999
-
16
Far East and Australasia 1998
-
17
International Concilation
by Cot Jean-Pierre -
18
International directory of business information sources and services 1996
-
19
International directory of business information sources and services 1996
-
20
International directory of computer and information system services
-
21
International Disputes
by Vallat Francis -
22
International disputes
-
23
International disputes
-
24
International who's who
-
25
International who's who 1959
-
26
International who's who 1959
-
27
International who's who 1962-63
-
28
International who's who 1962-63
-
29
International who's who 1964-65
-
30
International who's who 1964-65
-
31
International who's who 1966-67
-
32
International who's who 1966-67
-
33
International who's who 1967-68
-
34
International who's who 1967-68
-
35
International who's who 1968-69
-
36
International who's who 1968-69
-
37
International who's who 1974-75
-
38
International who's who 1974-75
-
39
International who's who 1976-77
-
40
International who's who 1976-77
-
41
International who's who 1978-79
-
42
International who's who 1978-79
-
43
International who's who 1980-81
-
44
International who's who 1980-81
-
45
International Who's who 2005
-
46
International Who's who 2005
-
47
International who's who authors and writers
-
48
International who's who authors and writers
-
49
Law of bankers commercial credits
by Gutteridge H C -
50
Law of bankers commercial credits
by Gutteridge H C
Formal systems and recursive functions.
APA
Crossley J N, Dummett M A E, . (1965). Formal systems and recursive functions. Amsterdam: North-Holland Publishing.
Chicago
Crossley J N, Dummett M A E, . 1965. Formal systems and recursive functions. Amsterdam: North-Holland Publishing.
Harvard
Crossley J N, Dummett M A E, . (1965). Formal systems and recursive functions. Amsterdam: North-Holland Publishing.
MLA
Crossley J N, Dummett M A E, . Formal systems and recursive functions. Amsterdam: North-Holland Publishing. 1965.
