Search ResultsDiğer Kütüphaneler
1570 sonuç bulundu Arama sonuçlarına abone ol
Select All
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULT
Yazdır
1. 
Martin Davis on Computability, Computational Logic, and Mathematical Foundations için kapak resmi
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Yazar 
Omodeo, Eugenio G. editor. Policriti, Alberto. editor. (orcid)0000-0001-8502-5896 SpringerLink (Online service)
Yer Numarası 
BC1 -199
Elektronik Erişim 
Full Text Available From Springer Nature Religion and Philosophy 2016 Packages
Format: 
Electronic Resources
Mevcut:
2. 
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics için kapak resmi
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics
Yazar 
Löwe, Benedikt. editor. Malzkorn, Wolfgang. editor. Räsch, Thoralf. editor. SpringerLink (Online service)
Yer Numarası 
BC1 -199
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
3. 
The Axiom of Constructibility A Guide for the Mathematician için kapak resmi
The Axiom of Constructibility A Guide for the Mathematician
The Axiom of Constructibility A Guide for the Mathematician
Yazar 
Devlin, K. J. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
4. 
Recursion on the Countable Functionals için kapak resmi
Recursion on the Countable Functionals
Recursion on the Countable Functionals
Yazar 
Normann, D. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
5. 
Injective Choice Functions için kapak resmi
Injective Choice Functions
Injective Choice Functions
Yazar 
Holz, Michael. author. Podewski, Klaus-Peter. author. Steffens, Karsten. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
6. 
Techniques of Admissible Recursion Theory için kapak resmi
Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
Yazar 
Chong, C. T. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
7. 
Cylindric Set Algebras için kapak resmi
Cylindric Set Algebras
Cylindric Set Algebras
Yazar 
Henkin, L. author. Monk, J. D. author. Tarski, A. author. Andreka, H. author. Nemeti, I. author.
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
8. 
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis için kapak resmi
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Yazar 
Troelstra, Anne S. editor. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
9. 
Nonstandard Analysis - Recent Developments için kapak resmi
Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
Yazar 
Hurd, A.E. editor. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
10. 
Around Classification Theory of Models için kapak resmi
Around Classification Theory of Models
Around Classification Theory of Models
Yazar 
Shelah, Saharon. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
11. 
Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic için kapak resmi
Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Yazar 
Siefkes, Dirk. author. Müller, Gert H. editor. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: 
Electronic Resources
Mevcut:
12. 
Théorie des ensembles için kapak resmi
Théorie des ensembles
Théorie des ensembles
Yazar 
Bourbaki, N. author. SpringerLink (Online service)
Yer Numarası 
QA8.9 -10.3
Elektronik Erişim 
Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages
Format: 
Electronic Resources
Mevcut:
Select All
1570 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1562)
Rozenberg, Grzegorz. editor.
(19)
Gabbay, Dov M. editor.
(14)
SpringerLink Journals
(12)
Springer Journals
(11)
Dil
Yayım Yılı
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Konu
Mathematical Logic and Foundations.
(1102)
Mathematical logic.
(1102)
Computer science.
(633)
Formal Languages and Automata Theory.
(562)
Machine theory.
(562)
Materyal Türü
Lokasyon
Kütüphane