2
Tetrabiblos

Tetrabiblos

Claudius Ptolemy
سال:
1974
زبان:
english
فائل:
PDF, 595 KB
0 / 0
english, 1974
4
Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Yiannis N. Moschovakis
سال:
2019
زبان:
english
فائل:
PDF, 1010 KB
0 / 0
english, 2019
5
Proofs and Computations

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer
سال:
2012
زبان:
english
فائل:
PDF, 2.80 MB
0 / 0
english, 2012
6
Diamantine

Diamantine

Andrew Rowe (Fantasy fiction writer)
سال:
2021
زبان:
english
فائل:
EPUB, 615 KB
5.0 / 0
english, 2021
7
Toward a Calculus of Concepts

Toward a Calculus of Concepts

Willard Van Orman. QUINE
سال:
1936
زبان:
english
فائل:
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

Gilmore, Paul Carl
سال:
2005
زبان:
english
فائل:
DJVU, 2.17 MB
0 / 0
english, 2005
9
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Stephen Cook, Phuong Nguyen
سال:
2010
زبان:
english
فائل:
PDF, 2.58 MB
0 / 0
english, 2010
10
A Course in Model Theory

A Course in Model Theory

Katrin Tent, Martin Ziegler
سال:
2012
زبان:
english
فائل:
PDF, 1.13 MB
5.0 / 0
english, 2012
11
From determinant to tensor

From determinant to tensor

W. F. Sheppard
سال:
1923
زبان:
english
فائل:
DJVU, 1.10 MB
0 / 0
english, 1923
12
Symbols of Islam

Symbols of Islam

Malek Chebel
سال:
2001
زبان:
english
فائل:
PDF, 11.03 MB
0 / 4.5
english, 2001
13
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Stephen Cook, Phuong Nguyen
سال:
2010
زبان:
english
فائل:
PDF, 2.32 MB
0 / 0
english, 2010
14
300 Mac Keyboard Shortcuts & Symbols PDF (2023)

300 Mac Keyboard Shortcuts & Symbols PDF (2023)

technastic.com, Rakesh
زبان:
english
فائل:
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]

Gabbay, D. M
سال:
1996
زبان:
english
فائل:
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

Alexander Schmemann
سال:
1992
زبان:
romanian
فائل:
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

J. Simon
سال:
1979
زبان:
french
فائل:
PDF, 39.76 MB
0 / 0
french, 1979
18
Reverse mathematics 2001

Reverse mathematics 2001

Simpson, Stephen George (ed.)
سال:
2005
زبان:
english
فائل:
DJVU, 4.24 MB
0 / 0
english, 2005
19
Inexhaustibility: A Non-Exhaustive Treatment

Inexhaustibility: A Non-Exhaustive Treatment

Torkel Franzén
سال:
2004
زبان:
english
فائل:
DJVU, 4.35 MB
0 / 5.0
english, 2004
20
Model theory of stochastic processes

Model theory of stochastic processes

Sergio Fajardo, H. Jerome Keisler
سال:
2002
زبان:
english
فائل:
DJVU, 1.35 MB
0 / 0
english, 2002
21
Nonstandard methods and applications in mathematics

Nonstandard methods and applications in mathematics

Ross, David A., Di Nasso, Mauro, Cutland, Nigel (eds.)
سال:
2006
زبان:
english
فائل:
DJVU, 3.19 MB
0 / 0
english, 2006
24
Zadaci iz linearne algebre

Zadaci iz linearne algebre

Zoran Stojaković, Ivica Bošnjak
سال:
2004
زبان:
serbian
فائل:
PDF, 2.12 MB
0 / 0
serbian, 2004
25
A computational view on normal forms of matrices of Ore polynomials [PhD diss]

A computational view on normal forms of matrices of Ore polynomials [PhD diss]

Johannes Middeke
سال:
2011
زبان:
english
فائل:
PDF, 1.10 MB
0 / 0
english, 2011
26
Logic Colloquium 2000

Logic Colloquium 2000

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.)
سال:
2005
زبان:
english
فائل:
DJVU, 5.67 MB
0 / 0
english, 2005
27
The Notre Dame Lectures: Lecture Notes in Logic, 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

Peter Cholak (eds.)
سال:
2005
زبان:
english
فائل:
DJVU, 1.41 MB
5.0 / 0
english, 2005
28
Meeting of the Association for Symbolic Logic

Meeting of the Association for Symbolic Logic

Benacerraf Paul
سال:
1977
زبان:
english
فائل:
PDF, 355 KB
0 / 0
english, 1977
29
Intensionality

Intensionality

Kahle, Reinhard (eds.)
سال:
2005
زبان:
english
فائل:
DJVU, 2.27 MB
0 / 0
english, 2005