National Science Library of Georgia

Your search returned 14 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Abstract recursion and intrinsic complexity / Yiannis N. Moschovakis. by Series: Lecture notes in logic ; 48.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Log in to add tags Add to cart
General recursion theory : an axiomatic approach / Jens E. Fenstad. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Higher recursion theory / Gerald E. Sacks. by Series: Perspectives in Logic ; 2 | Perspectives in Logic ; 2.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Recursion theory / Joseph R. Shoenfield. by Series: Lecture notes in logic ; 1.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Recursion-theoretic hierarchies / Peter G. Hinman. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Aspects of Incompleteness / Per Lindström. by Series: Lecture notes in logic ; 10.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
How to think about algorithms / Jeff Edmonds. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Online resources:
Availability: No items available.
Log in to add tags Add to cart
The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors D.G. Pettifor and D.L. Weaire. by Series: Springer series in solid-state sciences ; 58
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, c1985
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 53.
Lists:
Place hold Log in to add tags Add to cart
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
Recursion via Pascal / J.S. Rohl. by Series: Cambridge computer science texts ; 19.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1984
Online resources:
Availability: No items available.
Log in to add tags Add to cart
General recursion theory : an axiomatic approach / Jens E. Fenstad. by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer. by Series: London Mathematical Society lecture note series ; 45.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1980
Other title:
  • Recursion Theory, its Generalisations & Applications
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński. by Series: Lecture notes in computer science ; 56
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1977
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.