საკვანძო სიტყვების ძებნა

  • Main
  • საკვანძო სიტყვების ძებნა
3
Axiomatic Theories of Truth

Axiomatic Theories of Truth

წელი:
2011
ენა:
english
ფაილი:
PDF, 1.46 MB
0 / 0
english, 2011
6
Proof-theoretic Semantics

Proof-theoretic Semantics

წელი:
2015
ენა:
english
ფაილი:
DJVU, 6.56 MB
5.0 / 5.0
english, 2015
7
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

წელი:
1994
ენა:
english
ფაილი:
DJVU, 2.98 MB
0 / 0
english, 1994
9
Adverbs of quantification: a generalized quantifier approach

Adverbs of quantification: a generalized quantifier approach

წელი:
1993
ენა:
english
ფაილი:
PDF, 8.35 MB
0 / 3.5
english, 1993
10
Stability of Discrete Non-conservative Systems

Stability of Discrete Non-conservative Systems

წელი:
2019
ენა:
english
ფაილი:
PDF, 8.36 MB
0 / 0
english, 2019
14
Generalized Quantifiers in Natural Language

Generalized Quantifiers in Natural Language

წელი:
1985
ენა:
english
ფაილი:
PDF, 4.79 MB
0 / 0
english, 1985
15
Foundational Aspects of "Non" Standard Mathematics

Foundational Aspects of "Non" Standard Mathematics

წელი:
1994
ენა:
english
ფაილი:
DJVU, 1.03 MB
0 / 0
english, 1994
16
Aspects of Incompleteness

Aspects of Incompleteness

წელი:
1997
ენა:
english
ფაილი:
PDF, 3.60 MB
0 / 0
english, 1997
17
Nonlinear Stability of Finite Volume Methods for Hyperbolic Conservation Laws

Nonlinear Stability of Finite Volume Methods for Hyperbolic Conservation Laws

წელი:
2004
ენა:
english
ფაილი:
PDF, 1.39 MB
0 / 0
english, 2004
20
A Textbook of Belief Dynamics: Solutions to exercises

A Textbook of Belief Dynamics: Solutions to exercises

წელი:
1999
ენა:
english
ფაილი:
PDF, 2.67 MB
0 / 0
english, 1999
21
A Textbook of Belief Dynamics: Solutions to exercises

A Textbook of Belief Dynamics: Solutions to exercises

წელი:
1999
ენა:
english
ფაილი:
PDF, 3.29 MB
0 / 0
english, 1999
22
Our Knowledge of Mathematical Objects

Our Knowledge of Mathematical Objects

ენა:
english
ფაილი:
PDF, 81 KB
0 / 0
english
23
Quantifiers Logics, Models and Computation Volume Two Contributions

Quantifiers Logics, Models and Computation Volume Two Contributions

ფაილი:
PDF, 18.31 MB
0 / 0
25
Lectures on quantum probability. Sociedad Matematica Mexicana

Lectures on quantum probability. Sociedad Matematica Mexicana

წელი:
2000
ენა:
english
ფაილი:
PDF, 3.88 MB
0 / 0
english, 2000