On local proof restrictions for strong theries
By: Material type:
TextLanguage: English Series: Dissertationes mathematicae; 108Publication details: Warszawa Panstwowe Wydawnictwo Naukowe 1973Description: 51p. cmSubject(s): DDC classification: - B2, L31
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
|
Central Science Library | Central Science Library | B2 L31 (Browse shelf(Opens below)) | Available | SL0241501 |
There are no comments on this title.
Log in to your account to post a comment.
-
151
Applied and fundamental aspects of Plant cell, tissue and organ culture
by Reinert J Ed. -
152
Applied data structures with C++
by Smith Peter -
153
Applied data structures with C++.
by Smith Peter -
154
Applied data structures with C++.
by Smith Peter -
155
Applied soil physics: soil water and temperature applications by R J Hanks
by Hanks R J -
156
Architecture programming and applications of advanced microprocessors
by Ganguly Amar K -
157
Architecture programming and applications of advanced microprocessors
by Ganguly Amar K -
158
Architecture programming and applications of advanced microprocessors
by Ganguly Amar K -
159
Architecture, programming and applications of advanced microprocessors.
by Ganguly Amar K -
160
Architecture, programming and applications of advanced microprocessors.
by Ganguly Amar K -
161
Architecture, programming and applications of advanced microprocessors.
by Ganguly Amar K -
162
Art of computer programming
by Knuth Donald E -
163
Art of computer programming
by Knuth Donald E -
164
Art of computer programming
by Knuth D E -
165
Art of computer programming
by Knuth Donald E -
166
Artificial intelligence illuminated
by Coppin Ben -
167
Atomic and molecular physics
by Pathak Anand P Ed -
168
Atomic and molecular physics: introduction to advanced topics
by Srivastava Rajesh Ed.; Choubisa Rakesh Ed. -
169
Atomic, molecular and cluster physics
by Ahmad S A Ed -
170
Atoms and molecules in laser and external fields
by Man Mohan Ed. -
171
Atoms and molecules in laser and external fields
by Man Mohan Ed. -
172
Atoms, Molecules and Lasers
by Nair, K. P. R. -
173
Atoms, Molecules and Lasers
by Nair, K. P. R. -
174
Basic Bio-Informatics.
by Ignacimuthu S -
175
Basic Bio-Informatics.
by Ignacimuthu S -
176
Basic Bio-Informatics.
by Ignacimuthu S -
177
Basic Bio-Informatics.
by Ignacimuthu S -
178
Basic Bio-Informatics.
by Ignacimuthu S -
179
Basic bioinformatics
by Ignacimuthu S -
180
Basic bioinformatics.
by Ignacimuthu S -
181
Basic genetics by Gurbachan S Miglani
by Miglani Gurbachan S -
182
Basic thermodynamics
by Guha Evelyn -
183
Basic thermodynamics
by Guha Evelyn -
184
Basic thermodynamics
by Guha Evelyn -
185
Basic thermodynamics
by Guha Evelyn -
186
Basic thermodynamics
by Guha Evelyn -
187
Basic thermodynamics
by Guha Evelyn -
188
Basic thermodynamics
by Guha Evelyn -
189
Basic thermodynamics
by Guha Evelyn -
190
Basic thermodynamics
by Guha Evelyn -
191
Basic thermodynamics
by Guha Evelyn -
192
Bayesian parametric inference
by Bansal Ashok K -
193
Bayesian parametric inference
by Bansal Ashok K -
194
Bayesian parametric inference
by Bansal Ashok K -
195
Bayesian parametric inference
by Bansal Ashok K -
196
Bayesian parametric inference
by Bansal Ashok K -
197
Beginning number theory
by Robbins Neville -
198
Beginning number theory
by Robbins Neville -
199
Bio-analytical techniques.
by Srivastava M L -
200
Biochemistry
by Sharma Dushyant Kumar
On local proof restrictions for strong theries
APA
Jensen Don, . (1973). On local proof restrictions for strong theries. Warszawa: Panstwowe Wydawnictwo Naukowe.
Chicago
Jensen Don, . 1973. On local proof restrictions for strong theries. Warszawa: Panstwowe Wydawnictwo Naukowe.
Harvard
Jensen Don, . (1973). On local proof restrictions for strong theries. Warszawa: Panstwowe Wydawnictwo Naukowe.
MLA
Jensen Don, . On local proof restrictions for strong theries. Warszawa: Panstwowe Wydawnictwo Naukowe. 1973.
