Skip to main content
Koha online
Your cart is empty.
Cart
Lists
Public lists
Child Development
LLB 420: INTERNATIONAL COMMERCIAL ARBITRATION
RET 320:CHRISTIANITY AND OTHER RELIGIONS
LLB:SOCIAL FOUNDATIONS OF LAW
LLB 103:LEGAL SYSTEMS AND METHODS
LLB 104: LAW OF TORTS
LLB 105: CONSTITUTIONAL LAW
LLB 106: CRIMINAL LAW
LLB 200:CONSTITUTIONAL ASPECTS OF FREEDOM OF SPEECH, PRESS, ASSOCIATION AND RELIGION
LLB 201: RESEARCH METHODS FOR LAWYERS
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'su:"Recursion theory."'
Refine your search
Availability
Limit to records with available items
Authors
Chong, C.-T.
Smullyan, Raymond M.
Yu, Liang
Item types
Electronic Book
Series
De Gruyter Series in...
Lecture notes series...
Oxford logic guides
Topics
Infinite
Logic, Symbolic and ...
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
Add to list
New list
Place hold
Results
1.
Recursion theory for metamathematics
[electronic resource] /
Raymond M. Smullyan.
by
Smullyan, Raymond M
ebrary, Inc
Series:
Oxford logic guides
; 22.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publication details:
New York :
Oxford University Press,
1993
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
Save to lists
Add to cart
(remove)
2.
Computational prospects of infinity
[electronic resource] .
Part I, Tutorials /
editors, Chitat Chong ... [et al.].
by
Workshop on Computational Prospects of Infinity
(2005 : Institute for Mathematical Sciences, National University of Singapore)
Chong, C.-T. (Chi-Tat)
, 1949-
ebrary, Inc
Series:
Lecture notes series (National University of Singapore. Institute for Mathematical Sciences)
; v. 14.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publication details:
Singapore ; Hackensack, NJ :
World Scientific,
c2008
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
Save to lists
Add to cart
(remove)
3.
Recursion theory : computational aspects of definability /
Chi Tat Chong, Liang Yu.
by
Chong, C.-T. (Chi-Tat)
, 1949-
[author.]
Yu, Liang
[author.]
Series:
De Gruyter series in logic and its applications
; Volume 8.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Berlin, [Germany] ;
Boston, [Massachusetts] :
De Gruyter,
2015
Copyright date:
©2015
Online resources:
An electronic book accessible through the World Wide Web; click to view
Availability:
No items available.
Save to lists
Add to cart
(remove)