Normal view MARC view ISBD view

Formally self-referential propositions for cut free classical analysis and related systems Kreisel G; Takeuti G

By:

Kreisel G

Contributor(s):

Takeuti G

Material type: Text

TextLanguage: English Series: Dissertationes mathematicae; 118Publication details: Warezawa Panstwowe Wydawnictwo Naukowe 1970Description: 55p. cmDDC classification:

B313N, L42

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Barcode
Textual	Central Science Library	Central Science Library	B313N L42 (Browse shelf(Opens below))	Available	SL0315077

Appendix 44-48p

There are no comments on this title.

to post a comment.

Back to results

101 Manaement techniues for librarians
by Evans G Edward
102 Creating efficient industrial administration
by Stinchcombe Arthur L
103 Biometeorological methods.
by Munn R E
104 Arrow impossibility theorems
by Kelly Jerry S
105 Long term field research in social anthropology
by Foster George M Ed.
106 Imposition of law
by Burman Sandra B
107 Decision information.
by Tsokos Chris P Ed.
108 Surveys by telephone
by Groves Robert M
109 Social method and social life
by Brenner Michael Ed.
110 Inner controdictions ofrigorous reaearch
by Argyris Chris
111 Portfolio theory with application to bak asset man
by Szego Giorgio P
112 Limits of government regualtion
by Gatti James F Ed.
113 Water movement in mirelands Tr from Russian byArt
by Ivanov K E
114 Social episodes
by Forgas Joseph P
115 Towards understanding relationships
by Hinde Robert A
116 Distributed and computing system
by Paker Y Ed.
117 Comparative planetology
by Ponnamperuma Cyril Ed.
118 Social organizaiton of an urban grants economy
by Galaskiewicz Joseph
119 Macroeconomics theory
by Sargent Thomas J
120 Macroeconomics theory
by Sargent Thomas J
121 Macroeconomics theory
by Sargent Thomas J
122 Proceedings Ed by Walter Freiberger
123 Money and inflation
by McCulloch J Huston
124 Solid state physics
by Seitz Frederick
125 Solid state physics
by Seitz Frederick
126 Solid state physics
by Seitz Frederick
127 Solid state physics
by Seitz Frederick
128 Solid state physics
by Seitz Frederick
129 Solid state physics
by Seitz Frederick
130 Solid state physics
by Seitz Frederick
131 Solid state physics
by Seitz Frederick
132 Solid state physics
by Seitz Frederick
133 Solid state physics
by Seitz Frederick
134 Solid state physics
by Seitz Frederick
135 Solid state physics
by Seitz Frederick
136 Solid state physics
by Seitz Frederick
137 Solid state physics
by Seitz Frederick
138 Solid state physics
by Seitz Frederick
139 Solid state physics
by Seitz Frederick
140 Solid state physics
by Seitz Frederick
141 Solid state physics
by Seitz Frederick
142 Solid state physics
by Seitz Frederick
143 Solid state physics
by Seitz Frederick
144 Solid state physics
by Seitz Frederick
145 Solid state physics
by Seitz Frederick
146 Advances in atomic and molecular physics
by Bates D.R. Ed.
147 Dynamics of gas-surface scattering
by Goodman Frank O.
148 Intellectual development
by Case Robbie
149 Interatomic potentials
by Torrens Ian M.
150 Librarian and reference queries
by Jahoda Gerald