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
matemaatiline loogika (subject term)
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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
60
Look more..
(2/19)
Export
export all inquiry results
(60)
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
26
book article
Introduction to Volume 2/2: The 1903 Lowell Lectures
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures
2021
/
p. 29-117
https://doi.org/10.1515/9783110740462-003
book article
27
book article
Järelsõna
Tammet, Tanel
Gödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga
2020
/
lk. 125−135
https://www.ester.ee/record=b5346988*est
book article
28
book
Keel ja loogika
Lorents, Peeter
2000
https://www.ester.ee/record=b1372695*est
book
29
book article
Knowledge integration for commonsense reasoning with default logic
Järv, Priit
;
Tammet, Tanel
;
Verrev, Martin
;
Draheim, Dirk
Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1
/
p. 148-155
https://doi.org/10.5220/0000165700003335
book article
30
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
31
book
Lausearvutus ja hulgateooria elemendid : loengukonspekt : ülesanded
1975
https://www.ester.ee/record=b1303989*est
book
32
book
Lausearvutus ja hulgateooria elemendid : metoodiline materjal
1982
https://www.ester.ee/record=b1265264*est
book
33
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
34
book
Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures
Peirce, Charles S.
2021
https://doi.org/10.1515/9783110740462
book
35
book
Logic of the future : writings on existential graphs. Part 1: The Logical Tracts
Peirce, Charles S.
2021
https://www.degruyter.com/document/doi/10.1515/9783110651423/html#contents
https://doi.org/10.1515/9783110651423
book
36
book
Logic of the future : writings on existential graphs. Volume 1. History and applications
Peirce, Charles S.
2020
https://doi.org/10.1515/9783110651409
book
37
book article
Logics of skew categorical structures
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Logic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts
2022
/
p. 81-82
https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf
book article
38
book
Loogika : mõtlemisest tõestamiseni
Tamme, Tõnu
;
Tammet, Tanel
;
Prank, Rein
2002
https://www.ester.ee/record=b1689701*est
book
39
book
Loogika. Argumentatsioon. Mõtlemiskultuur
Meos, Indrek
2003
https://www.ester.ee/record=b1764843*est
book
40
journal article
Matemaatilise loogika põhimõisteid
Lorents, Peeter
Arvutustehnika ja Andmetöötlus : A&A
1988
/
nr. 7 lk. 27-30; nr. 8 lk. 29-33,; nr. 9 lk. 32-36 ; nr. 11 lk. 33-35; nr. 12 lk. 33-36
https://www.ester.ee/record=b1071940*est
journal article
41
journal article
Matemaatilise loogika põhimõisteid : Lambada-arvutustest
Lorents, Peeter
Arvutustehnika ja Andmetöötlus
1990
/
6, lk. 45-48; 7, lk. 43-48
journal article
42
journal article
Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustest
Lorents, Peeter
Arvutustehnika ja Andmetöötlus
1990
/
1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43
journal article
43
book
Natural arguments : a tribute to John Woods
2019
https://www.collegepublications.co.uk/tributes/?00040
book
44
journal article
On the completeness of associative idempotent functions
Henno, Jaak
Zeitschrift für mathematische Logik und Grundlagen der Mathematik
1979
/
S. 37-43
https://www.ester.ee/record=b1830546*est
https://doi.org/10.1002/malq.19790250303
journal article
45
book article
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 40-43
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
book article
46
journal article EST
/
journal article ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
47
journal article
Peirce on phaneroscopical analysis
Bellucci, Francesco
Journal Phänomenologie
2015
/
p. 56-72
journal article
48
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
49
journal article
Post-surjectivity and balancedness of cellular automata over groups
Capobianco, Silvio
;
Kari, Jarkko
;
Taati, Siamak
Discrete mathematics and theoretical computer science
2017
/
art. 4, p. 1-16 : ill
http://dx.doi.org/10.23638/DMTCS-19-3-4
journal article
50
book article EST
/
book article ENG
Preface
Pietarinen, Ahti-Veikko
;
Chapman, Peter
;
Bosveld-de Smet, Leonie
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. v - vi
https://doi.org/10.1007/978-3-030-54249-8
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 60, displaying
26 - 50
previous
1
2
3
next
subject term
18
1.
matemaatiline loogika
2.
eeldused (loogika)
3.
eitus (loogika)
4.
formaalne loogika
5.
induktsioon (loogika)
6.
järeldamine (loogika)
7.
loogika
8.
loogika ajalugu
9.
otsustused (loogika)
10.
teaduse loogika
11.
temporaalne loogika
12.
väliprogrammeeritav loogika
13.
matemaatiline analüüs
14.
matemaatiline füüsika
15.
matemaatiline lingvistika
16.
matemaatiline modelleerimine
17.
matemaatiline planeerimine
18.
matemaatiline statistika
keyword
1
1.
matemaatiline modelleerimine
×
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