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
8
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Dil: English
Yazar
Dahil
Hariç
SpringerLink (Online service)
(6)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Odifreddi, Piergiorgio, 1950-
(2)
Barwise, Jon.
(1)
Cavazos-Gaither, Alma E.
(1)
Cori, Rene.
(1)
Crossley, John N.
(1)
Enderton, Herbert B.
(1)
Fitting, Melvin, 1942-
(1)
Gaither, C. C.
(1)
Gandy, R. O. (Robin O.)
(1)
Gunderson, David S., author.
(1)
Hartmann, Peter. author.
(1)
Hinman, Peter G.
(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)
Lascar, Daniel, 1942- ort. yaz.
(1)
Logic Colloquium (10th : 1965 : University of Leicester)
(1)
Lolli, G. editor.
(1)
Matuszek, David L., author.
(1)
Mukherji, Nirmalangshu.
(1)
O'Regan, Gerard. author.
(1)
Pitts, Andrew. editor. (orcid)
(1)
Project Muse.
(1)
Sacks, Gerald E.
(1)
Stephan, Frank. editor.
(1)
Stephens, Rod, 1961- author.
(1)
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
(1)
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
(1)
Vitek, Jan. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Yayın Yılı
Dahil
Hariç
-
2015
(4)
2023
(4)
1998
(3)
2011
(3)
1989
(2)
1992
(2)
2010
(2)
2012
(2)
2013
(2)
2014
(2)
2018
(2)
1957
(1)
1961
(1)
1967
(1)
1974
(1)
1978
(1)
1980
(1)
1981
(1)
1990
(1)
1991
(1)
1993
(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)
2009
(1)
2016
(1)
2017
(1)
2019
(1)
2020
(1)
2021
(1)
2022
(1)
2024
(1)
2025
(1)
2026
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Recursion theory.
(10)
Logic, Symbolic and mathematical.
(3)
Recursion theory -- Congresses.
(3)
Algorithmes.
(1)
Algorithms
(1)
Algorithms.
(1)
Arithmetic -- Foundations.
(1)
Biolinguistics.
(1)
COMPUTERS -- Computer Literacy.
(1)
COMPUTERS -- Computer Science.
(1)
COMPUTERS -- Data Processing.
(1)
COMPUTERS -- Hardware -- General.
(1)
COMPUTERS -- Information Technology.
(1)
COMPUTERS -- Machine Theory.
(1)
COMPUTERS -- Reference.
(1)
COMPUTERS / Computer Graphics / Game Programming & Design
(1)
COMPUTERS / Programming Languages / General
(1)
Combinatorics
(1)
Combinatorics.
(1)
Computer algorithms
(1)
Computer algorithms.
(1)
Computers and IT.
(1)
Data structures (Computer science)
(1)
Discrete Mathematics
(1)
Discrete Mathematics.
(1)
Intuitionistic mathematics -- Congresses.
(1)
Kleene, Stephen Cole, 1909-1994.
(1)
Language and languages -- Philosophy.
(1)
Llibres electrònics.
(1)
Logic, Symbolic and mathematical -- Congresses.
(1)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(1)
Mathematical statistics -- Quotations, maxims, etc.
(1)
Mathematics & Statistics
(1)
Mathematics & Statistics.
(1)
Mathematics.
(1)
Model theory.
(1)
Number theory.
(1)
Probabilities -- Quotations, maxims, etc.
(1)
Proof theory.
(1)
Pseudocode (Computer program language)
(1)
Pseudocode (Langage de programmation)
(1)
Recursive programming.
(1)
Set Theory
(1)
Set Theory.
(1)
Set theory -- Congresses.
(1)
Set theory.
(1)
Structures de données (Informatique)
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Shelf Location
Dahil
Hariç
Beytepe Genel Koleksiyon
CRC Ekitapları
Elektronik Kütüphane
Taylor Francis E-Kitap Koleksiyonu
Wiley E-Kitap Koleksiyonu
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
25 sonuç bulundu
1
2
3
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.
25.
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
