Gösterilen
1 - 8
sonuçlar arası kayıtlar.
8
sonuç. Aranan kelime '
'
İçeriği atla
VuFind
Dil
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tüm Alanlar
Materyal Adı
Yazar
Konu
Yer Numarası
ISBN/ISSN
Etiket
Ara
Gelişmiş
Filtreleri Sıfırla
Önerilen Konular:
MATHEMATICS / Logic
Filtreleri Sıfırla
Gösterilen flitre sayısı (1)
Önerilen Konular:
MATHEMATICS / Logic
Arama Sonuçları
Önerilen Konular
Önerilen Konular
MATHEMATICS / Logic
Logic, Symbolic and mathematical
5
Mathematics
3
Graphic methods
2
Philosophy
2
Automatic theorem proving
1
Group theory
1
Gödel's theorem
1
Mathematical physics
1
Quantum theory
1
Reasoning
1
Topological semigroups
1
Gösterilen
1 - 8
sonuçlar arası kayıtlar.
8
sonuç. Aranan kelime '
'
, Sorgu süresi: 0.02s
Sonuçları Daraltın
Sırala
İlgili
Tarih-Azalan
Tarih-Artan
Yer Numarası
Yazar
Materyal Adı
1
Yüklüyor......
Kurt Gödel and the foundations of mathematics : horizons of truth /
Baskı/Yayın Bilgisi 2014
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Tam Metin Erişim
Printed Book
2
Yüklüyor......
Graph structure and monadic second-order logic : a language-theoretic approach /
Yazar:
Courcelle, B.
Baskı/Yayın Bilgisi 2012
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Cover image
Printed Book
3
Yüklüyor......
Logic in elementary mathematics /
Yazar:
Exner, Robert M.
,
Rosskopf, Myron Frederick
Baskı/Yayın Bilgisi 2011
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Printed Book
Yüklüyor......
4
Yüklüyor......
Deep beauty : understanding the quantum world through mathematical innovation /
Yazar:
Halvorson, Hans.,ed
Baskı/Yayın Bilgisi 2011
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Printed Book
Yüklüyor......
5
Yüklüyor......
Monoidal topology : a categorical approach to order, metric and topology /
Yazar:
Hofmann,Dirk ,ed
Baskı/Yayın Bilgisi 2014
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Tam Metin Erişim
Printed Book
6
Yüklüyor......
Graph structure and monadic second-order logic : a language-theoretic approach /
Yazar:
Courcelle, B.
Baskı/Yayın Bilgisi 2012
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Printed Book
Yüklüyor......
7
Yüklüyor......
Logic for computer science : foundations of automatic theorem proving /
Yazar:
Gallier, Jean H.
Baskı/Yayın Bilgisi 2015
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Printed Book
Yüklüyor......
8
Yüklüyor......
Elements of logical reasoning
Yazar:
Plato, Jan Von
Baskı/Yayın Bilgisi 2013
Yer Numarası:
Yüklüyor......
Bulunduğu Yer:
Yüklüyor......
Printed Book
Yüklüyor......
Arama Araçları:
RSS Beslemesi
—
Aramayı e-posta ile gönder
Geri
Aramayı Daralt
Kurum
University of Calicut
4
CUSAT
3
NUALS
1
Kütüphane
Department of Mathematics
5
CH Mohammed Koya Library
2
NUALS Library
1
Materyal Türü
Printed Book
8
Yer Numarası
500 - Natural sciences and mathematics
5
100 - Philosophy & psychology
1
Yazar
Courcelle, B.
2
Engelfriet, Joost
2
Baaz, Matthias
1
Exner, Robert M.
1
Gallier, Jean H.
1
Halvorson, Hans.,ed
1
Hofmann,Dirk ,ed
1
Plato, Jan Von
1
Rosskopf, Myron Frederick
1
Seal, Gavin J.,ed
1
Tholen, W.,ed
1
Hepsini Gör ...
Dil
English
7
Yayın Tarihi
den:
Kime:
Yüklüyor......