Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671
Koha Online Catalog
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Advanced Search
|
Browse by Subject
|
Tag Cloud
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, USA /
Normal View
ISBD View
Authors:
Barwise, Jon
|
Keisler, H. Jerome
|
Kunen, Kenneth
|
Kleene, Stephen Cole
Series:
Studies in logic and the foundations of mathematics ;
. 101
Published by :
North-Holland Pub. Co.,
(Amsterdam : )
Physical details:
XX, 425 p. : ill. ; 23 cm.
Subject(s):
Recursion theory-congresses
|
Intuitionistic mathematics-congresses
Year :
1980
No tags for this title.
Log in to add tags.
Holdings ( 1 )
Descriptions
Comments
Item type
Location
Call Number
Copy
Status
Date Due
Books
Istituto di Ingegneria Biomedica
QA9.6.K53 (
Browse Shelf
)
1
Available
Browsing Istituto di Ingegneria Biomedica Shelves
Close Shelf Browser
QA9.6.A68L
Solvable cases of the decision problem /
QA9.6.F46
General recursion theory : an axiomatic approach /
QA9.6.G64L
Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus /
QA9.6.K53
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, USA /
QA9.6.O35
Classical recursion theory : the theory of functions and sets of natural numbers /
QA9.6.P38
Algorithm design : a recursion transformation framework /
There are no comments for this item.
Log in to your account
to post a comment.
Print
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Save Record:
-- Choose Format --
MODS (XML)
Dublin Core (XML)
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
Important links here.
There are no comments for this item.