Näytetään
1 - 8
yhteensä
8
tuloksesta haulle '
'
Siirry sisältöön
VuFind
Kieli
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
हिंदी
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Aihe-ehdotuksia:
MATHEMATICS / Logic
Poista rajaukset
Näytä rajaukset (1)
Aihe-ehdotuksia:
MATHEMATICS / Logic
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
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
Näytetään
1 - 8
yhteensä
8
tuloksesta haulle '
'
, hakuaika: 0,03s
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Lataa...
Kurt Gödel and the foundations of mathematics : horizons of truth /
Julkaistu 2014
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Hae kokoteksti
Printed Book
2
Lataa...
Graph structure and monadic second-order logic : a language-theoretic approach /
Tekijä
Courcelle, B.
Julkaistu 2012
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Cover image
Printed Book
3
Lataa...
Logic in elementary mathematics /
Tekijä
Exner, Robert M.
,
Rosskopf, Myron Frederick
Julkaistu 2011
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
4
Lataa...
Deep beauty : understanding the quantum world through mathematical innovation /
Tekijä
Halvorson, Hans.,ed
Julkaistu 2011
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
5
Lataa...
Monoidal topology : a categorical approach to order, metric and topology /
Tekijä
Hofmann,Dirk ,ed
Julkaistu 2014
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Hae kokoteksti
Printed Book
6
Lataa...
Graph structure and monadic second-order logic : a language-theoretic approach /
Tekijä
Courcelle, B.
Julkaistu 2012
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
7
Lataa...
Logic for computer science : foundations of automatic theorem proving /
Tekijä
Gallier, Jean H.
Julkaistu 2015
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
8
Lataa...
Elements of logical reasoning
Tekijä
Plato, Jan Von
Julkaistu 2013
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
Takaisin
Rajaa hakua
Organisaatio
University of Calicut
4
CUSAT
3
NUALS
1
Kirjasto
Department of Mathematics
5
CH Mohammed Koya Library
2
NUALS Library
1
Aineistotyyppi
Printed Book
8
Hyllypaikka
500 - Natural sciences and mathematics
5
100 - Philosophy & psychology
1
Tekijä
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
näytä kaikki ...
Kieli
English
7
Julkaisuvuosi
Alkaen:
Päättyen:
Lataa...