Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
×
Všechna pole
Název
Autor
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Zachovat současné nastavení filtrů
EXPAND:"fulltext"
Domovská stránka
Vyhledávání: "metamathematics"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
14 847
pro vyhledávání:
'"metamathematics"'
Řazení
od nejnovějšího
Podle data vzestupně
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Kniha
Infinity, computability, and metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch / edited by Stefan Geschke, Benedikt Löwe, Philipp Schlicht.
načítá se...
Vybrat výsledek číslo 2
2
Kniha
Metamathematics and the philosophical tradition / William Boos ; edited by Florence S. Boos. [elektronicky zdroj]
Autor:
Boos, William
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 3
3
Kniha
Introduction to metamathematics / Stephen Cole Kleene.
Autor:
Kleene, Stephen Cole
načítá se...
Vybrat výsledek číslo 4
4
Kniha
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. [elektronicky zdroj]
Autor:
Hájek, Petr
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 5
5
Elektronická kniha
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. [electronic resource]
Autor:
Hájek, Petr
, author
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.
Vybrat výsledek číslo 6
6
Elektronická kniha
Mechanism, Mentalism and Metamathematics : An Essay on Finitism. [electronic resource]
Autor:
Hintikka, Jaakko
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 7
7
Elektronická kniha
The metamathematics of algebraic systems [electronic resource] : collected papers, 1936-1967 / Anatoliĭ Ivanovič Malʹcev ; translated [from the Russian], edited and provided with supplementary notes by Benjamin Franklin Wells, III.
Autor:
Malʹtsev, A. I.
(Anatoliĭ Ivanovich), 1909-1967
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.
Vybrat výsledek číslo 8
8
Kniha
Mechanism, Mentalism and Metamathematics : An Essay on Finitism. [elektronicky zdroj]
Autor:
Webb, J.
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 9
9
Kniha
Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems. [elektronicky zdroj]
Autor:
Murawski, Roman
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)(Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 10
10
Kniha
Metamathematics of Fuzzy Logic. [elektronicky zdroj]
Autor:
Hájek, Petr
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[1485]
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit hledání
Omezení vyhledávání
Plný text
Recenzováno
Digitální knihovna AV ČR
Zdroje
Pouze tištěné dokumenty
Zahrnout EIZ
Typ dokumentu
6 772
Akademické články
5 928
Elektronické knihy
719
Knihy
348
Konferenční materiály
309
Recenze
126
Časopisy
63
Electronic Resources
41
Reports
21
Dissertations
4
Trade Publications
2
News
Předmět
1 191
logic
963
mathematics
932
mathematical logic
685
artificial intelligence
625
philosophy
602
metamathematics
564
fuzzy logic
557
computer science
546
algebra
484
semantics
481
set theory
379
mathematical analysis
376
truth
305
machine theory
293
axioms
291
arithmetic
289
logic, symbolic and mathematical
249
algorithms
238
boolean algebra
233
fuzzy sets
231
mathematical models
228
philosophy of mathematics
224
software engineering
214
lattice theory
212
modal logic
202
calculus
196
proof theory
192
model theory
191
mathematics--philosophy
183
fuzzy systems
182
semantics (philosophy)
172
knowledge, theory of
166
residuated lattices
156
nonfiction
155
reasoning
151
metaphysics
141
computational complexity
140
paradox
138
science--philosophy
137
mathematics theorems
135
language and languages--philosophy
132
mathematical proofs
130
computer programming
128
theory of knowledge
125
ontology
122
computable functions
122
computer science-mathematics
118
algebraic logic
115
epistemology
113
completeness theorem
Vydavatel
2 766
springer nature
2 284
springer
853
wiley-blackwell
750
oxford university press / usa
613
cambridge university press
595
taylor & francis ltd
517
ios press
387
routledge
277
de gruyter
174
mdpi
165
association for computing machinery
135
american mathematical society
126
oxford university press
121
world scientific
89
university of chicago press
84
princeton university press
69
brill
60
cambridge university press (cup)
38
elsevier b.v.
37
hindawi limited
33
springer netherlands
31
sciendo
30
springer berlin heidelberg
25
elsevier
25
springer international publishing
24
mit press
19
edinburgh university press
14
columbia university press
13
johns hopkins university press
12
sage publications, ltd.
11
elsevier ltd
7
copernicus center press
6
college publications
6
north-holland publishing company
5
sage publications, inc.
4
american library association d/b/a choice
4
editions kime
4
leiden, koninklijke brill nv
3
encyclopedia britannica, inc.
3
kluwer academic publ
3
univ chicago press
3
universidade federal de santa catarina
3
universitat de barcelona
2
amsterdam, north-holland pub. co.
2
mcgill university
2
nature publishing group
2
novosibirsk state university
2
oxford univ press united kingdom
2
panstw. wydawn. nauk
2
новосибирскии государственныи университет
Publikováno v
376
mathematical logic quarterly
319
archive for mathematical logic
248
journal of intelligent & fuzzy systems
240
studia logica
240
synthese
220
journal of philosophical logic
211
history & philosophy of logic
182
logic journal of the igpl
175
philosophia mathematica
174
fundamenta informaticae
118
journal of symbolic logic
103
philosophical studies
88
international journal of general systems
87
mind
58
erkenntnis
53
british journal for the philosophy of science
53
transactions of the american mathematical society
50
logica universalis
34
nous
32
journal of automated reasoning
26
the journal of symbolic logic
22
mathematical notes
19
philosophia
18
philosophies
17
philosophy of science
17
studia humana
17
the mathematical gazette
16
history and philosophy of logic
14
annals of pure and applied logic
12
new generation computing
11
metascience
10
international journal of unconventional computing
10
studies in logic and the foundations of mathematics
7
journal of the american mathematical society
6
axiomathes
6
foundations of chemistry
6
nature
5
computer science journal of moldova
4
applied mathematics and computation
4
choice: current reviews for academic libraries
4
filozofia nauki
4
international journal of mathematics and mathematical sciences
4
isis
4
journal of logic and computation
4
principia: an international journal of epistemology
4
zagadnienia filozoficzne w nauce
3
anuario filosofico
3
constructivist foundations
3
engineering applications of artificial intelligence
3
milan journal of mathematics
Zdroj
6 010
Complementary Index
4 963
eBook Index
1 600
Academic Search Ultimate
920
eBook Collection (EBSCOhost)
526
OpenAIRE
281
Business Source Ultimate
94
Scopus®
91
Supplemental Index
90
JSTOR Journals
46
Vybrané kolekce e-knih
29
arXiv
27
Oxford Scholarship Online
26
Science Citation Index Expanded
24
Networked Digital Library of Theses & Dissertations
22
Arts & Humanities Citation Index
19
ScienceDirect
19
Directory of Open Access Journals
8
Central and Eastern European Online Library (CEEOL)
8
SAGE Knowledge
7
Oxford Reference
7
Emerald Insight
7
Social Sciences Citation Index
6
Katalog Knihovny AV ČR
5
MEDLINE
4
BrillOnline Reference Works
3
Britannica Online
3
Library, Information Science & Technology Abstracts
2
SAGE Research Methods
Geografie
11
poland
6
iran
6
united states
4
baghdad (iraq)
3
australia
3
eastern europe
3
europe
3
washington (d.c.)
2
brazil
1
master of science (department of mathematics)
Umístění
5
Knav
1
Baze Knavc - Casopisy
Rok vydání
Od:
do:
×
načítá se......