Skip to main content
ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library
Your cart is empty.
Cart
Lists
Public lists
წერა კითხვა
ნობელი
ბუდიზმი
ინვესტიცია
მეცნიერების პოლიტიკა
განათლების პოლიტიკა
მეცნიერების მენეჯმენტი
შიომღვიმის მონასტერი
ხალხური მედიცინის ისტორია
ყურძნის წვენის ტექნოლოგია
View all
Your lists
Log in to create your own lists
Languages
English
ქართული
Log in to your account
Search history
Clear
National Science Library of Georgia
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Purchase suggestions
Libraries
Log in to your account
×
Login:
Password:
Don't have an account?
Register here.
Home
Results of search for 'ccl=Provider:[Cambridge] University Press, and se:London Mathematical Society lecture note series '
Refine your search
Availability
Limit to currently available items
Authors
Cooper, S. B.
Slaman, T. A.
Truss, J. K.
Wainer, S. S.
Series
London Mathematical Society lecture note series
Topics
Computable functions
Logic, Symbolic and mathematical
Proof theory
Recursion theory
Set theory
Your search returned 3 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Place hold
Results
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
edited by S. Barry Cooper, John K. Truss.
by
Logic Colloquium
(1997 : Leeds, England)
Cooper, S. B. (S. Barry)
[editor.]
Truss, J. K
[editor.]
Association for Symbolic Logic
[host institution.]
Series:
London Mathematical Society lecture note series
; 258.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 1999
Other title:
Sets & Proofs
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
edited by S. Barry Cooper, John K. Truss.
by
Logic Colloquium
(1997 : Leeds, England)
Cooper, S. B. (S. Barry)
[editor.]
Truss, J. K
[editor.]
Association for Symbolic Logic
[host institution.]
Series:
London Mathematical Society lecture note series
; 259.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 1999
Other title:
Models & Computability
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Computability, enumerability, unsolvability : directions in recursion theory /
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
by
Cooper, S. B. (S. Barry)
[editor.]
Slaman, T. A. (Theodore Allen)
, 1954-
[editor.]
Wainer, S. S
[editor.]
Series:
London Mathematical Society lecture note series
; 224.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 1996
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Pages
Not finding what you're looking for?
Make a
purchase suggestion
Copyright © 2023
Sciencelib.ge
All rights reserved.