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/99)
Export
export all inquiry results
(2)
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
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
99
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 programming
15.
mathematical proof
16.
mathematical representation
17.
Mathematical simulation
18.
mathematical structures in functional programming
19.
mathematical techniques
20.
multi-pole mathematical model
21.
algebra of logic
22.
binary logic controller
23.
Boolean logic
24.
Compound logic locking
25.
Compound logic locking (CLL)
26.
constructive logic
27.
default logic
28.
diagrammatic logic
29.
digital logic
30.
dynamic logic
31.
epistemic logic
32.
ethics and logic
33.
formal logic
34.
fuzzy logic
35.
fuzzy logic
36.
fuzzy logic control
37.
fuzzy logic controller
38.
fuzzy logic controller (FLC)
39.
fuzzy logic model
40.
graphical method of logic
41.
history of logic
42.
Hoare logic
43.
Husserl and Pierce on logic of probability
44.
independence-friendly logic
45.
Inductive logic programming
46.
intuitionistic logic
47.
linear logic
48.
logic
49.
logic built-in self-test
50.
logic cell library
51.
logic circuit
52.
logic design
53.
logic diagram
54.
logic diagrams
55.
logic education
56.
logic for pragmatics
57.
logic gates
58.
logic in computer science
59.
logic in society
60.
logic level
61.
logic level and high level BDDs
62.
logic locking
63.
logic machine
64.
logic models
65.
logic models and simulation
66.
logic notation
67.
logic obfuscation
68.
logic of bunched implications
69.
logic of relatives
70.
logic of science
71.
logic of speech acts
72.
logic simulation
73.
logic synthesis
74.
logic teaching
75.
logic-based distributed routing
76.
malicious logic
77.
modal logic
78.
Natural logic
79.
Peirce's existential graphs and transcendental logic
80.
philosophical logic
81.
philosophy of logic
82.
pragmatic logic
83.
probabilistic relational program logic
84.
programmable logic
85.
programmable logic controller (PLC)
86.
quantitative logic
87.
quantum logic
88.
race logic
89.
reconfigurable logic
90.
routing logic
91.
S4 modal logic
92.
S-D logic
93.
Semi-substructural logic
94.
Service-Dominant logic
95.
stateful logic computation
96.
substructural logic
97.
symbolic knowledge in Husserlian pure logic
98.
symbolic logic
99.
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