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
mathematical 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 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/101)
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
101
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.
logic
50.
logic built-in self-test
51.
logic cell library
52.
logic circuit
53.
logic design
54.
logic diagram
55.
logic diagrams
56.
logic education
57.
logic for pragmatics
58.
logic gates
59.
logic in AI
60.
logic in computer science
61.
logic in society
62.
logic level
63.
logic level and high level BDDs
64.
logic locking
65.
logic machine
66.
logic models
67.
logic models and simulation
68.
logic notation
69.
logic obfuscation
70.
logic of bunched implications
71.
logic of relatives
72.
logic of science
73.
logic of speech acts
74.
logic simulation
75.
logic synthesis
76.
logic teaching
77.
logic-based distributed routing
78.
malicious logic
79.
modal logic
80.
Natural logic
81.
Peirce's existential graphs and transcendental logic
82.
philosophical logic
83.
philosophy of logic
84.
pragmatic logic
85.
probabilistic relational program logic
86.
programmable logic
87.
programmable logic controller (PLC)
88.
quantitative logic
89.
quantum logic
90.
race logic
91.
reconfigurable logic
92.
routing logic
93.
S4 modal logic
94.
S-D logic
95.
Semi-substructural logic
96.
Service-Dominant logic
97.
stateful logic computation
98.
substructural logic
99.
symbolic knowledge in Husserlian pure logic
100.
symbolic logic
101.
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