Visas
1 - 8
av
8
resultat för sökning '
'
Hoppa till innehåll
VuFind
Språk
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
हिंदी
Alla fält
Titel
Upphovsman
Ämne
Signum
ISBN/ISSN
Tagg
Sök
Avancerad
Rensa filter
Rekommenderade teman:
MATHEMATICS / Logic
Rensa filter
Visa begränsningar (1)
Rekommenderade teman:
MATHEMATICS / Logic
Sökresultat
Rekommenderade teman
Rekommenderade teman
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
Visas
1 - 8
av
8
resultat för sökning '
'
, Sökningstid : 0,02s
Förfina resultatet
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Signum
Upphovsman
Titel
1
Laddar...
Kurt Gödel and the foundations of mathematics : horizons of truth /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Hämta fulltext
Printed Book
2
Laddar...
Graph structure and monadic second-order logic : a language-theoretic approach /
av
Courcelle, B.
Publicerad 2012
Signum:
Laddar...
Placering:
Laddar...
Cover image
Printed Book
3
Laddar...
Logic in elementary mathematics /
av
Exner, Robert M.
,
Rosskopf, Myron Frederick
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Printed Book
Laddar...
4
Laddar...
Deep beauty : understanding the quantum world through mathematical innovation /
av
Halvorson, Hans.,ed
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Printed Book
Laddar...
5
Laddar...
Monoidal topology : a categorical approach to order, metric and topology /
av
Hofmann,Dirk ,ed
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Hämta fulltext
Printed Book
6
Laddar...
Graph structure and monadic second-order logic : a language-theoretic approach /
av
Courcelle, B.
Publicerad 2012
Signum:
Laddar...
Placering:
Laddar...
Printed Book
Laddar...
7
Laddar...
Logic for computer science : foundations of automatic theorem proving /
av
Gallier, Jean H.
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Printed Book
Laddar...
8
Laddar...
Elements of logical reasoning
av
Plato, Jan Von
Publicerad 2013
Signum:
Laddar...
Placering:
Laddar...
Printed Book
Laddar...
Sökverktyg:
RSS-flöde
—
Skicka sökningen per e-post
Back
Begränsa sökningen
Organisation
University of Calicut
4
CUSAT
3
NUALS
1
Bibliotek
Department of Mathematics
5
CH Mohammed Koya Library
2
NUALS Library
1
Materialtyp
Printed Book
8
Signum
500 - Natural sciences and mathematics
5
100 - Philosophy & psychology
1
Upphovsman
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
Visa alla ...
Språk
English
7
Utgivningsår
Från och med:
Till:
Laddar...