Intuitionism and proof theory Proceedings of the summer conference at buffalo N.Y.1968.
By: Contributor(s): Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematicsPublication details: London North Holland Publishing 1970Description: viii,516p. cmDDC classification: - R14, L0
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 | R14 L0 (Browse shelf(Opens below)) | Available | SC0452075 |
There are no comments on this title.
Log in to your account to post a comment.
-
1
Acceptable losses
by Shaw Irwin -
2
Acceptable losses
by Shaw Irwin -
3
Ajmer
by BAHADUR Diwan -
4
Ajmer
by BAHADUR Diwan -
5
Art, architecture and archaeology of india
by Chadhar Mohan Lal -
6
At the hour of death
by Osis Karlis -
7
The best of catherine marshall
-
8
BRICKS New Development Bank:
by Sarkar, A.N.., -
9
Careers encyclopaedia.
by Chaffe G H Ed. -
10
Careers encyclopaedia.
by Chaffe G H Ed. -
11
China
by Dan Connell Ed. -
12
Concise encyclopedia guide to Shakespeare
by Martin M R -
13
Cultural economic development in india tribes
by Sarkar Sukanta -
14
Cultural economic development in india tribes
by Sarkar Sukanta -
15
Cultural economic development in Indian tribes
by Sarkar, Sukanta -
16
Cultural economic development in Indian tribes
by Sarkar, Sukanta -
17
Development of tribal communities: Problems and challenges
by Chaudhury Suman Kumar -
18
E-journals
by Faizul Nisha Au. -
19
Empowerment of women at work place
by Panda, Minati -
20
Feeling good
by Burns David D. -
21
Floating opera
by Barth John -
22
Global Paradox
by Naisbitt John -
23
Grant writing
by Tremore Judy -
24
Green desire
by Myrer Anton -
25
Healers
by Denker Henry -
26
History of philosophy
by Lewes George Henry -
27
History of philosophy (Vol. 1):
by Lewes, George Henry -
28
Humboldt's gift
by Bellow Saul -
29
Humboldt's gift
by Bellow Saul -
30
In a dry season
by Robinson Peter -
31
India's diplomacy
by Gupta Kaushal Lal Au. -
32
Introduction To Tabla
by GAnguly Shikha Au. -
33
Introduction To Tabla
by GAnguly Shikha Au. -
34
Maggie cassidy
by Kerouac Jack -
35
Management : theory and practices
by Sahoo A -
36
Managing
by Geneen H -
37
Marco polo if you can
by Buckley William F -
38
Midnight children
by Rushdie Salman -
39
Midnight's children
by Rushdie Salman -
40
Midnights Children
by Rushdie, S. -
41
Mosquito coast
by Theroux Paul -
42
The nature of judicial process in India
by Rai, Ashok Kumar -
43
New paradigm in urban infrastructure development
by SARKAR A.N -
44
Peace to end all peace
by Fromkin David -
45
Plagiarism and its impact on academic library in digital era
by Patra Manaswini Ed. -
46
Pluralism
by Bullivant Brian M -
47
Relaxation response
by Benson Herbert -
48
Research methodology
by Dhiman, A K -
49
Research methodology: Basic of research methods, tools and techniques
by Dhiman Anil Kumar -
50
Right to Information and Official Secrecy
by Dadwal, Lalit
Intuitionism and proof theory
APA
Kino A Ed, Myhill J Ed, . (1970). Intuitionism and proof theory. London: North Holland Publishing.
Chicago
Kino A Ed, Myhill J Ed, . 1970. Intuitionism and proof theory. London: North Holland Publishing.
Harvard
Kino A Ed, Myhill J Ed, . (1970). Intuitionism and proof theory. London: North Holland Publishing.
MLA
Kino A Ed, Myhill J Ed, . Intuitionism and proof theory. London: North Holland Publishing. 1970.
