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
Searching
My bookmarks
0
symbolic logic (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/84)
Export
export all inquiry results
(3)
Save TXT fail
Save PDF 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
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
2
journal article
On the social utility of symbolic logic : Lewis Carroll against 'the logicians'
Moktefi, Amirouche
Studia metodologiczne
2015
/
p. 133-150
journal article
3
journal article EST
/
journal article ENG
Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
Moktefi, Amirouche
Logica universalis
2021
/
p. 359–379 : ill
https://doi.org/10.1007/s11787-021-00286-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 3, displaying
1 - 3
keyword
84
1.
symbolic logic
2.
symbolic knowledge in Husserlian pure logic
3.
logic and philosophy of logic
4.
constructing symbolic capital
5.
symbolic capital
6.
symbolic compliance
7.
symbolic computation
8.
symbolic computations
9.
symbolic data
10.
symbolic data analysis
11.
symbolic dynamics
12.
symbolic execution
13.
symbolic knowledge
14.
symbolic power
15.
symbolic regression
16.
timed symbolic traces
17.
algebra of logic
18.
binary logic controller
19.
Boolean logic
20.
default logic
21.
diagrammatic logic
22.
digital logic
23.
dynamic logic
24.
epistemic logic
25.
formal logic
26.
fuzzy logic
27.
fuzzy logic
28.
fuzzy logic control
29.
fuzzy logic controller
30.
fuzzy logic controller (FLC)
31.
fuzzy logic model
32.
graphical method of logic
33.
history of logic
34.
Hoare logic
35.
Husserl and Pierce on logic of probability
36.
independence-friendly logic
37.
intuitionistic logic
38.
linear logic
39.
logic
40.
logic built-in self-test
41.
logic cell library
42.
logic circuit
43.
logic design
44.
logic diagram
45.
logic diagrams
46.
logic education
47.
logic for pragmatics
48.
logic gates
49.
logic in computer science
50.
logic in society
51.
logic level
52.
logic level and high level BDDs
53.
logic locking
54.
logic models
55.
logic models and simulation
56.
logic notation
57.
logic obfuscation
58.
logic of bunched implications
59.
logic of relatives
60.
logic of speech acts
61.
logic simulation
62.
logic synthesis
63.
logic teaching
64.
logic-based distributed routing
65.
malicious logic
66.
mathematical logic
67.
modal logic
68.
Natural logic
69.
Peirce's existential graphs and transcendental logic
70.
philosophical logic
71.
philosophy of logic
72.
pragmatic logic
73.
probabilistic relational program logic
74.
programmable logic
75.
quantitative logic
76.
quantum logic
77.
race logic
78.
reconfigurable logic
79.
routing logic
80.
S4 modal logic
81.
S-D logic
82.
Service-Dominant logic
83.
stateful logic computation
84.
temporal logic
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT