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 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
2
Look more..
(1/86)
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
86
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 simulation
17.
multi-pole mathematical model
18.
algebra of logic
19.
binary logic controller
20.
Boolean logic
21.
default logic
22.
diagrammatic logic
23.
digital logic
24.
dynamic logic
25.
epistemic logic
26.
formal logic
27.
fuzzy logic
28.
fuzzy logic
29.
fuzzy logic control
30.
fuzzy logic controller
31.
fuzzy logic controller (FLC)
32.
fuzzy logic model
33.
graphical method of logic
34.
history of logic
35.
Hoare logic
36.
Husserl and Pierce on logic of probability
37.
independence-friendly logic
38.
intuitionistic logic
39.
linear logic
40.
logic
41.
logic built-in self-test
42.
logic cell library
43.
logic circuit
44.
logic design
45.
logic diagram
46.
logic diagrams
47.
logic education
48.
logic for pragmatics
49.
logic gates
50.
logic in computer science
51.
logic in society
52.
logic level
53.
logic level and high level BDDs
54.
logic locking
55.
logic models
56.
logic models and simulation
57.
logic notation
58.
logic obfuscation
59.
logic of bunched implications
60.
logic of relatives
61.
logic of speech acts
62.
logic simulation
63.
logic synthesis
64.
logic teaching
65.
logic-based distributed routing
66.
malicious 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.
symbolic knowledge in Husserlian pure logic
85.
symbolic logic
86.
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