Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
mathematical logic (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/102)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
La logique symbolique en debat a Oxford a la fin du dix-neuvieme siecle : les disputes logiques de Lewis Carroll et John Cook Wilson
Marion, Mathieu
;
Moktefi, Amirouche
Revue d'histoire des sciences
2014
/
p. 185-205
journal article
2
book article
Logic
Moktefi, Amirouche
The Mathematical World of Charles L. Dodgson (Lewis Carroll)
2019
/
p. 87-120
https://doi.org/10.1093/oso/9780198817000.003.0004
book article
Number of records 2, displaying
1 - 2
keyword
102
1.
mathematical logic
2.
logic and philosophy of logic
3.
lower limb mathematical modeling
4.
mathematical analysis
5.
mathematical description
6.
mathematical discovery
7.
Mathematical methods
8.
mathematical model
9.
mathematical modeling
10.
mathematical modelling
11.
mathematical models
12.
mathematical models for economic problems
13.
mathematical optimization
14.
Mathematical Physics
15.
mathematical programming
16.
mathematical proof
17.
mathematical representation
18.
Mathematical simulation
19.
mathematical structures in functional programming
20.
mathematical techniques
21.
multi-pole mathematical model
22.
algebra of logic
23.
binary logic controller
24.
Boolean logic
25.
Compound logic locking
26.
Compound logic locking (CLL)
27.
constructive logic
28.
default logic
29.
diagrammatic logic
30.
digital logic
31.
dynamic logic
32.
epistemic logic
33.
ethics and logic
34.
formal logic
35.
fuzzy logic
36.
fuzzy logic
37.
fuzzy logic control
38.
fuzzy logic controller
39.
fuzzy logic controller (FLC)
40.
fuzzy logic model
41.
graphical method of logic
42.
history of logic
43.
Hoare logic
44.
Husserl and Pierce on logic of probability
45.
independence-friendly logic
46.
Inductive logic programming
47.
intuitionistic logic
48.
linear logic
49.
linear logic of Petri nets
50.
logic
51.
logic built-in self-test
52.
logic cell library
53.
logic circuit
54.
logic design
55.
logic diagram
56.
logic diagrams
57.
logic education
58.
logic for pragmatics
59.
logic gates
60.
logic in AI
61.
logic in computer science
62.
logic in society
63.
logic level
64.
logic level and high level BDDs
65.
logic locking
66.
logic machine
67.
logic models
68.
logic models and simulation
69.
logic notation
70.
logic obfuscation
71.
logic of bunched implications
72.
logic of relatives
73.
logic of science
74.
logic of speech acts
75.
logic simulation
76.
logic synthesis
77.
logic teaching
78.
logic-based distributed routing
79.
malicious logic
80.
modal logic
81.
Natural logic
82.
Peirce's existential graphs and transcendental logic
83.
philosophical logic
84.
philosophy of logic
85.
pragmatic logic
86.
probabilistic relational program logic
87.
programmable logic
88.
programmable logic controller (PLC)
89.
quantitative logic
90.
quantum logic
91.
race logic
92.
reconfigurable logic
93.
routing logic
94.
S4 modal logic
95.
S-D logic
96.
Semi-substructural logic
97.
Service-Dominant logic
98.
stateful logic computation
99.
substructural logic
100.
symbolic knowledge in Husserlian pure logic
101.
symbolic logic
102.
temporal logic
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT