Doações 15 de Setembro 2024 – 1º de Outubro 2024 Sobre a angariação de fundos
2
Tetrabiblos

Tetrabiblos

Ano:
1974
Idioma:
english
Arquivo:
PDF, 595 KB
0 / 0
english, 1974
4
Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Ano:
2019
Idioma:
english
Arquivo:
PDF, 1010 KB
0 / 0
english, 2019
5
Proofs and Computations

Proofs and Computations

Ano:
2012
Idioma:
english
Arquivo:
PDF, 2.80 MB
0 / 0
english, 2012
6
Diamantine

Diamantine

Ano:
2021
Idioma:
english
Arquivo:
EPUB, 615 KB
5.0 / 0
english, 2021
7
Toward a Calculus of Concepts

Toward a Calculus of Concepts

Ano:
1936
Idioma:
english
Arquivo:
PDF, 679 KB
0 / 0
english, 1936
8
Logicism renewed: Logical foundations for mathematics and computer science

Logicism renewed: Logical foundations for mathematics and computer science

Ano:
2005
Idioma:
english
Arquivo:
DJVU, 2.17 MB
0 / 0
english, 2005
9
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Ano:
2010
Idioma:
english
Arquivo:
PDF, 2.58 MB
0 / 0
english, 2010
10
A Course in Model Theory

A Course in Model Theory

Ano:
2012
Idioma:
english
Arquivo:
PDF, 1.13 MB
5.0 / 0
english, 2012
11
From determinant to tensor

From determinant to tensor

Ano:
1923
Idioma:
english
Arquivo:
DJVU, 1.10 MB
0 / 0
english, 1923
12
Symbols of Islam

Symbols of Islam

Ano:
2001
Idioma:
english
Arquivo:
PDF, 11.03 MB
0 / 4.5
english, 2001
13
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Ano:
2010
Idioma:
english
Arquivo:
PDF, 2.32 MB
0 / 0
english, 2010
14
300 Mac Keyboard Shortcuts & Symbols PDF (2023)

300 Mac Keyboard Shortcuts & Symbols PDF (2023)

Idioma:
english
Arquivo:
PDF, 247 KB
0 / 5.0
english
15
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Ano:
1996
Idioma:
english
Arquivo:
PDF, 1.51 MB
0 / 0
english, 1996
16
Din apă şi din duh. Studiu liturgic al Botezului

Din apă şi din duh. Studiu liturgic al Botezului

Ano:
1992
Idioma:
romanian
Arquivo:
DJVU, 1.69 MB
0 / 0
romanian, 1992
17
Les Insignes de L’Infanterie D’Afrique 1830-1962

Les Insignes de L’Infanterie D’Afrique 1830-1962

Ano:
1979
Idioma:
french
Arquivo:
PDF, 39.76 MB
0 / 0
french, 1979
18
Reverse mathematics 2001

Reverse mathematics 2001

Ano:
2005
Idioma:
english
Arquivo:
DJVU, 4.24 MB
0 / 0
english, 2005
19
Inexhaustibility: A Non-Exhaustive Treatment

Inexhaustibility: A Non-Exhaustive Treatment

Ano:
2004
Idioma:
english
Arquivo:
DJVU, 4.35 MB
0 / 5.0
english, 2004
20
Model theory of stochastic processes

Model theory of stochastic processes

Ano:
2002
Idioma:
english
Arquivo:
DJVU, 1.35 MB
0 / 0
english, 2002
21
Nonstandard methods and applications in mathematics

Nonstandard methods and applications in mathematics

Ano:
2006
Idioma:
english
Arquivo:
DJVU, 3.19 MB
0 / 0
english, 2006
24
Zadaci iz linearne algebre

Zadaci iz linearne algebre

Ano:
2004
Idioma:
serbian
Arquivo:
PDF, 2.12 MB
0 / 0
serbian, 2004
28
Meeting of the Association for Symbolic Logic

Meeting of the Association for Symbolic Logic

Ano:
1977
Idioma:
english
Arquivo:
PDF, 355 KB
0 / 0
english, 1977
29
Intensionality

Intensionality

Ano:
2005
Idioma:
english
Arquivo:
DJVU, 2.27 MB
0 / 0
english, 2005