National Science Library of Georgia

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Techniques of admissible recursion theory / C.T. Chong. by Series: Lecture notes in mathematics (Springer-Verlag) ; 1106.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1984
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : Part II / ed by M. M. Richter. by Series: Lecture notes in mathematics ; 1104
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Berlin [u.a.] : Springer Verlag, 1984
Online resources:
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.