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)
(17)
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)
Albrecher, Hansjörg, author.
(1)
Arcade, Jacques, author.
(1)
Baier, Christel. editor.
(1)
Bartocci, Ezio. editor.
(1)
Barwise, Jon.
(1)
Beirlant, Jan, author.
(1)
Bel-Enguix, Gemma. editor.
(1)
Bonfante, Guillaume, author.
(1)
Braga, Christiano. editor.
(1)
Case, John, 1942-
(1)
Cavazos-Gaither, Alma E.
(1)
Corballis, Michael C.
(1)
Cori, Rene.
(1)
Crossley, John N.
(1)
Cruz-Reyes, Laura. editor.
(1)
DeBellis, Valerie A.
(1)
Dorronsoro, Bernabé. editor.
(1)
Enderton, Herbert B.
(1)
Fitting, Melvin, 1942-
(1)
Fulk, Mark A.
(1)
Gaither, C. C.
(1)
Gala, Núria. editor.
(1)
Gandy, R. O. (Robin O.)
(1)
Giguère, Eric, 1967- author.
(1)
Guillaume, Bruno, author.
(1)
Gunderson, David S., author.
(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)
Kindler, Noah, author.
(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)
Matuszek, David L., author.
(1)
Meyer, Uwe. editor.
(1)
Michaelson, Greg, 1953-
(1)
Mongan, John, 1976- author.
(1)
Mukherji, Nirmalangshu.
(1)
O'Regan, Gerard. author.
(1)
Perrier, Guy, 1950- author.
(1)
Pitts, Andrew. editor. (orcid)
(1)
Project Muse.
(1)
Rapp, Reinhard. editor.
(1)
Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651
(1)
Rosete, Alejandro. editor.
(1)
Rudziński, Roman.
(1)
SIGART.
(1)
Sacks, Gerald E.
(1)
Schlingloff, Bernd-Holger. editor.
(1)
Shapira, Yair, 1960, author.
(1)
Shmaliy, Yuriy, author.
(1)
Skowron, Andrzej. editor.
(1)
Sokołowski, S. (Stefan)
(1)
Soma, Takako. author.
(1)
Stephan, Frank. editor.
(1)
Stephens, Rod, 1961- author.
(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)
Teugels, Jef L., author.
(1)
Tinelli, Cesare. editor.
(1)
Vitek, Jan. editor.
(1)
Vogel, Thomas. editor.
(1)
Winskel, G. (Glynn)
(1)
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.)
(1)
Zhao, Shunyi, author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(48)
Turkish
(1)
Yayın Yılı
Dahil
Hariç
-
2023
(10)
2015
(9)
2011
(4)
2018
(4)
1993
(3)
1998
(3)
2009
(3)
1989
(2)
1990
(2)
1991
(2)
1992
(2)
1995
(2)
2010
(2)
2012
(2)
2013
(2)
2014
(2)
2017
(2)
2021
(2)
2022
(2)
1957
(1)
1961
(1)
1967
(1)
1974
(1)
1978
(1)
1980
(1)
1981
(1)
1994
(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)
2016
(1)
2019
(1)
2020
(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)
récursion.
(3)
Computational intelligence.
(2)
Data Engineering.
(2)
Electronic books.
(2)
Engineering -- Data processing.
(2)
induction.
(2)
Actuarial science
(1)
Actuarial science.
(1)
Actuariat.
(1)
Algorithmes.
(1)
Algorithms
(1)
Algorithms.
(1)
Arithmetic -- Foundations.
(1)
BUSINESS & ECONOMICS -- Insurance -- Risk Assessment & Management.
(1)
BUSINESS & ECONOMICS -- Management.
(1)
BUSINESS & ECONOMICS -- Reference.
(1)
BUSINESS & ECONOMICS -- Skills.
(1)
Big data.
(1)
Biolinguistics.
(1)
Brain -- Evolution.
(1)
C++ (Computer program language)
(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)
Computational learning theory -- Congresses.
(1)
Computational linguistics
(1)
Computational linguistics.
(1)
Computer algorithms
(1)
Computer algorithms.
(1)
Computer programming -- Vocational guidance
(1)
Computer programming -- Vocational guidance.
(1)
Computer programming.
(1)
Computers and IT.
(1)
Data structures (Computer science)
(1)
Discrete Mathematics
(1)
Discrete Mathematics.
(1)
Electronics.
(1)
Employment interviewing
(1)
Employment interviewing.
(1)
Engineering -- Management
(1)
Engineering -- Management.
(1)
Entretiens d'embauche.
(1)
Evolutionary psychology.
(1)
Formale Semantik.
(1)
Functional programming (Computer science)
(1)
Graph theory -- Data processing
(1)
Graph theory -- Data processing.
(1)
Human evolution.
(1)
Ingénierie -- Gestion.
(1)
Ingénierie des systèmes.
(1)
Intuitionistic mathematics -- Congresses.
(1)
Kleene, Stephen Cole, 1909-1994.
(1)
LANGUAGE ARTS & DISCIPLINES -- Linguistics -- Historical & Comparative.
(1)
LANGUAGE ARTS & DISCIPLINES.
(1)
Langage et logique.
(1)
Language and languages -- Origin.
(1)
Language and languages -- Philosophy.
(1)
Language and logic
(1)
Language and logic.
(1)
Linguistics.
(1)
Linguistique informatique.
(1)
Llibres electrònics.
(1)
Logic, Symbolic and mathematical -- Congresses.
(1)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(1)
ML (Computer program language)
(1)
Mathematical statistics -- Quotations, maxims, etc.
(1)
Mathematics & Statistics
(1)
Mathematics & Statistics.
(1)
Mathematics -- Study and teaching (Elementary) -- Activity programs.
(1)
Mathematics.
(1)
Model theory.
(1)
Number theory.
(1)
Numerical analysis -- Data processing.
(1)
Observabilité (Théorie de la commande)
(1)
Observers (Control theory)
(1)
Probabilities -- Quotations, maxims, etc.
(1)
Programmation (Informatique) -- Orientation professionnelle.
(1)
Programmeertalen.
(1)
Programming (Mathematics)
(1)
Programming languages (Electronic computers) -- Semantics.
(1)
Proof theory.
(1)
Pseudocode (Computer program language)
(1)
Pseudocode (Langage de programmation)
(1)
Recursive programming.
(1)
Reinsurance
(1)
Reinsurance.
(1)
Rewriting systems (Computer science)
(1)
Réassurance.
(1)
Semantiek.
(1)
Semántica.
(1)
Set Theory
(1)
Set Theory.
(1)
Set theory -- Congresses.
(1)
Set theory.
(1)
Softwarespezifikation.
(1)
Structures de données (Informatique)
(1)
Systems engineering
(1)
Systems engineering.
(1)
Systèmes de réécriture (Informatique)
(1)
TECHNOLOGY & ENGINEERING.
(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
CRC Ekitapları
Elektronik Kütüphane
Taylor Francis E-Kitap Koleksiyonu
Wiley E-Kitap Koleksiyonu
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
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
49 sonuç bulundu
1
2
3
4
5
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.
49.
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
5
Go to:
Search Results
|
Top of Page
|
Search Facets
