Skip to:
Search Results
|
Content
|
Bottom
|
Search Facets
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
13
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Yazar
Dahil
Hariç
SpringerLink (Online service)
(15)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Odifreddi, Piergiorgio, 1950-
(2)
ACM Special Interest Group for Automata and Computability Theory.
(1)
Baier, Christel. editor.
(1)
Bartocci, Ezio. editor.
(1)
Barwise, Jon.
(1)
Bel-Enguix, Gemma. editor.
(1)
Braga, Christiano. editor.
(1)
Case, John, 1942-
(1)
Corballis, Michael C.
(1)
Cori, Rene.
(1)
Crossley, John N.
(1)
DeBellis, Valerie A.
(1)
Enderton, Herbert B.
(1)
Fitting, Melvin, 1942-
(1)
Fulk, Mark A.
(1)
Gala, Núria. editor.
(1)
Gandy, R. O. (Robin O.)
(1)
Hartmann, Peter. author.
(1)
Hausser, Roland. author.
(1)
Hinman, Peter G.
(1)
Hubbard, Steve. author.
(1)
Hunt, John. author.
(1)
Jain, Rahul. editor.
(1)
Jain, Sanjay. editor.
(1)
Keisler, H. Jerome.
(1)
Kleene Symposium (1978 : Madison, Wis.)
(1)
Kleene, Stephen Cole, 1909-1994.
(1)
Kubiak, Ryszard.
(1)
Kutrib, Martin. editor. (orcid)
(1)
Laeli, Mahbobeh.
(1)
Lascar, Daniel, 1942- ort. yaz.
(1)
Lee, Kent D. author.
(1)
Logic Colloquium (10th : 1965 : University of Leicester)
(1)
Lolli, G. editor.
(1)
Majumdar, Rupak. editor.
(1)
Martí-Oliet, Narciso. editor.
(1)
Meyer, Uwe. editor.
(1)
Mukherji, Nirmalangshu.
(1)
O'Regan, Gerard. author.
(1)
Pitts, Andrew. editor. (orcid)
(1)
Project Muse.
(1)
Rapp, Reinhard. editor.
(1)
Rudziński, Roman.
(1)
SIGART.
(1)
Sacks, Gerald E.
(1)
Shapira, Yair, 1960-
(1)
Sokołowski, S. (Stefan)
(1)
Soma, Takako. author.
(1)
Stephan, Frank. editor.
(1)
Streib, James T. author.
(1)
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
(1)
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
(1)
Tinelli, Cesare. editor.
(1)
Vitek, Jan. editor.
(1)
Winskel, G. (Glynn)
(1)
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.)
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(36)
Turkish
(1)
Yayın Yılı
Dahil
Hariç
-
2015
(9)
2023
(7)
2011
(4)
1993
(3)
1998
(3)
2009
(3)
1989
(2)
1990
(2)
1991
(2)
1992
(2)
2010
(2)
2012
(2)
1957
(1)
1961
(1)
1967
(1)
1974
(1)
1978
(1)
1980
(1)
1981
(1)
1994
(1)
1995
(1)
1996
(1)
1997
(1)
1999
(1)
2000
(1)
2001
(1)
2002
(1)
2003
(1)
2004
(1)
2005
(1)
2006
(1)
2007
(1)
2008
(1)
2013
(1)
2014
(1)
2016
(1)
2017
(1)
2018
(1)
2019
(1)
2020
(1)
2021
(1)
2022
(1)
2024
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Recursion theory.
(9)
Logic, Symbolic and mathematical.
(3)
Recursion theory -- Congresses.
(3)
récursion.
(3)
induction.
(2)
Arithmetic -- Foundations.
(1)
Biolinguistics.
(1)
Brain -- Evolution.
(1)
C++ (Computer program language)
(1)
Computational learning theory -- Congresses.
(1)
Computer programming.
(1)
Evolutionary psychology.
(1)
Formale Semantik.
(1)
Human evolution.
(1)
Intuitionistic mathematics -- Congresses.
(1)
Kleene, Stephen Cole, 1909-1994.
(1)
Language and languages -- Origin.
(1)
Language and languages -- Philosophy.
(1)
Logic, Symbolic and mathematical -- Congresses.
(1)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(1)
Mathematics -- Study and teaching (Elementary) -- Activity programs.
(1)
Mathematics.
(1)
Model theory.
(1)
Number theory.
(1)
Numerical analysis -- Data processing.
(1)
Programmeertalen.
(1)
Programming (Mathematics)
(1)
Programming languages (Electronic computers) -- Semantics.
(1)
Semantiek.
(1)
Semántica.
(1)
Set theory -- Congresses.
(1)
Set theory.
(1)
Softwarespezifikation.
(1)
apprentissage machine.
(1)
apprentissage.
(1)
itération.
(1)
lambda calcul.
(1)
langage programmation.
(1)
logique 1er ordre.
(1)
programmation parallèle.
(1)
programmation.
(1)
reconnaissance forme.
(1)
spécification formelle.
(1)
spécification.
(1)
sémantique dénotationnelle.
(1)
sémantique formelle.
(1)
sémantique langage programmation.
(1)
sémantique opérationnelle.
(1)
théorie apprentissage.
(1)
théorie domaine.
(1)
théorème Gödel.
(1)
équation récursive.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Tez
Shelf Location
Dahil
Hariç
Beytepe Genel Koleksiyon
Beytepe Tez Koleksiyonu
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Beytepe Kütüphanesi
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
37 sonuç bulundu
1
2
3
4
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
37.
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Yazar
Goodstein, R. L. (Reuben Louis)
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect
http://www.sciencedirect.com/science/book/9780444533852
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
2
3
4
Go to:
Search Results
|
Top of Page
|
Search Facets
