Výsledky vyhledávání - "Formal logic"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Formal logic"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 1 155 pro vyhledávání: '"Formal logic"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Kniha

Základy matematiky, logiky a statistiky pro sociologii a ostatní společenské vědy v příkladech / Jan Hendl a kolektiv.

Autor: Hendl, Jan, 1947-

načítá se...

Vybrat výsledek číslo 2 2

Kniha

Základy matematiky, logiky a statistiky pro sociologii a ostatní společenské vědy v příkladech / Jan Hendl a kolektiv.

Autor: Hendl, Jan, 1947-

načítá se...

Vybrat výsledek číslo 3 3

Kniha

Logiques de la forme : hommage à Fernando Gil / sous la direction d'Éric Beauron et Olivier Capparos.

načítá se...

Vybrat výsledek číslo 4 4

Kniha

Filosofická zkoumání / Ludwig Wittgenstein ; z německého originálu Philosophische Untersuchungen ... přeložil Jiří Pechar.

Autor: Wittgenstein, Ludwig, 1889-1951

načítá se...

Vybrat výsledek číslo 5 5

Kniha

Základy matematiky, logiky a statistiky pro sociologii a ostatní společenské vědy v příkladech / Jan Hendl, Jakub Siegl, Martin Moldan a kolektiv.

Autor: Hendl, Jan, 1947-

načítá se...

Vybrat výsledek číslo 6 6

Kniha

Formální logika a sémantický web / Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová.

Autor: Lukasová, Alena, 1936-

načítá se...

Vybrat výsledek číslo 7 7

Kniha

Význam, sémantika, Wittgenstein / Martin Stokhof ; z anglických originálů ... Meaning, interpretation and semantics, The architecture of meaning: Wittgenstein's tractatus and formal semantics, Formal semantics and Wittgenstein: an alternative? ... přeložili Radek Ocelák a Adéla Špínová.

Autor: Stokhof, Martin, 1950-

Externí odkaz: Digitální knihovna AV ČR

načítá se...

Vybrat výsledek číslo 8 8

Kniha

Pragmatizace logické analýzy jazyka : od analytické k postanalytické filosofii ve 20. století / Miroslav Vacura.

Autor: Vacura, Miroslav

načítá se...

Vybrat výsledek číslo 9 9

Akademický článek

Arthur N. Prior on 'Unquestionably the Best Logical Symbolism for Most Purposes'.

Autor: Joaquin, Jeremiah Joven B.¹ jeremiah.joaquin@dlsu.edu.ph

Publikováno v: History & Philosophy of Logic. May2022, Vol. 43 Issue 2, p158-174. 17p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 10 10

Kniha

Pojmopis : formulový jazyk čistého myšlení po vzoru formulového jazyka aritmetiky = [Orig.: Begriffsschrift] / Gottlob Frege ; přeložil a komentářem opatřil Jiří Fiala.

Autor: Frege, Gottlob, 1848-1925

načítá se...

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[116]

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

763 Akademické články
83 Knihy
54 Konferenční materiály
38 Elektronické knihy
14 Recenze
8 Dissertations
1 Časopisy

1 039 formal logic
205 logic
146 mathematical logic
93 mathematics
89 reasoning
87 truth
79 artificial intelligence
69 inference
65 semantics
61 computer science
61 dialectic
57 metaphysics
56 dialectical logic
56 syllogisms
49 epistemology
45 argumentation
42 logical theorems
41 contradictories
40 philosophy
38 predicates
37 aristotelianism
35 judgment
34 modal logic
33 model checking
33 software engineering
32 mathematical concepts
28 informal logic
28 propositional logic
28 theoretical computer science
27 axioms
27 philosophical analysis
27 symbolism
26 ontology
25 dialectical materialism
24 abstract logic
23 algebra
23 business
23 paradoxes
22 a priori knowledge
21 logic programming
21 logical givens
21 theoryofcomputation_mathematicallogicandformallanguages
20 business.industry
20 language
20 logical empiricism
20 psychology
20 reason
19 bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence
19 computer
19 computer programming

45 springer
35 springer nature
15 hal ccsd
11 springer netherlands
11 springer verlag
11 wiley
10 taylor & francis ltd
10 university of windsor
10 zenodo
8 elsevier bv
7 association for computing machinery
7 oxford university press
5 elsevier
5 immanuel kant baltic federal university
5 masson editeur
5 mdpi
5 springer international publishing
4 brill academic publishers
4 emerald group publishing limited
4 ieee computer society
4 russian acad sciences-inst philosophy
4 vilnius gediminas technical university
4 walter de gruyter gmbh
4 wiley-blackwell
3 academicus
3 cambridge univ press
3 faculty of law, nis
3 filosofia
3 frontiers media s.a.
3 mezhdunarodnaya kniga
3 moscow state university of psychology and education
3 sodertorns hogskola, filosofi
3 universidade estadual de maringa
3 university of silesia press
3 univerzita karlova, nakladatelstvi karolinum
3 wydawnictwo uniwersytetu slaskiego
2 elsevier science ireland
2 faculty of law - university of nis
2 frontiers research foundation
2 international society of philosophy and cosmology
2 kluwer academic publ
2 novosibirsk state university
2 routledge journals, taylor & francis ltd
2 sage publications inc
2 wydawnictwo naukowe uniwersytetu kardynala stefana wyszynskiego w warszawie
2 yaroslav mudryi national law university
2 новосибирскии государственныи университет
2 правни факултет универзитета у нишу
1 deu, neubiberg
1 misc, la plata

54 mind
28 synthese
15 informal logic
10 voprosy filosofii
9 argumentation
9 lecture notes in computer science
8 annales medico-psychologiques
6 frontiers in psychology
6 journal of indian philosophy
6 kybernetes
6 кантовскии сборник
5 information sciences
5 journal of universal computer science
5 metaphilosophy
5 theoretical computer science
4 biosystems
4 creativity studies
4 enterprise information systems
4 history & philosophy of logic
4 international journal on software tools for technology transfer
3 academicus international scientific journal
3 algebra universalis
3 asian studies
3 biblioteca digital de teses e dissertacoes da ufrgs
3 cognitive science
3 journal of automated reasoning
3 journal of oral science
3 minds and machines
3 organon f
3 philosophy of the social sciences
3 semiotica
3 studia philosophiae christianae
3 sustainability
3 ufrgs
3 universidade federal do rio grande do sul
2 bio systems
2 collection of papers, faculty of law, nis
2 folia philosophica
2 future human image
2 inquiry
2 the bulletin of yaroslav mudryi national law university. series: philosophy, philosophies of law, political science, sociology
2 σχολη (schole). ancient philosophy and the classical tradition
2 σχολη. философское антиковедение и классическая традиция
2 зборник радова правног факултета у нишу
1 ancient worlds, modern reflections : philosophical perspectives on greek and chinese science and culture
1 archiv orientalni
1 arguments and reason-giving
1 hume's reason
1 it began with babbage : the genesis of computer science
1 slovo a slovesnost

423 JSTOR Journals
245 OpenAIRE
212 Scopus®
58 Science Citation Index Expanded
49 Directory of Open Access Journals
30 Arts & Humanities Citation Index
30 OAPEN Library
28 Central and Eastern European Online Library (CEEOL)
23 Social Sciences Citation Index
16 Katalog Knihovny AV ČR
10 Academic Search Ultimate
8 Oxford Scholarship Online
8 Networked Digital Library of Theses & Dissertations
8 MEDLINE
4 Emerald Insight
2 SSOAR – Social Science Open Access Repository
1 Business Source Ultimate

13 Knav
2 Baze Knava - Analytika
1 Baze Knavc - Casopisy

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......