Main

Recently Added

1

Math 2155A Midterm UWO, Fall 2021

Year:
2021
Language:
english
File:
PDF, 1.03 MB
0 / 0
2

Matemáticas II. Cap 8 Ley de senos y cosenos

Year:
2009
Language:
spanish
File:
PDF, 14.75 MB
0 / 0
3

数理論理学

Year:
1970
Language:
japanese
File:
PDF, 10.67 MB
0 / 0
4

Logika

Year:
2014
Language:
indonesian
File:
PDF, 34.00 MB
0 / 0
8

Pământul este plat! Cum să ne ferim de capcanele pseudoștiinței

Year:
2019
Language:
romanian
File:
PDF, 139.73 MB
0 / 0
9

Mathematics and plausible reasoning

Year:
1954
Language:
english
File:
DJVU, 2.53 MB
0 / 0
10

現代数理論理学序説

Year:
2010
Language:
japanese
File:
PDF, 28.15 MB
5.0 / 0
14

ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

Year:
2006
Language:
japanese
File:
PDF, 37.98 MB
5.0 / 0
15

確かさを求めて : 数学の基礎についての哲学論考

Year:
2007
Language:
japanese
File:
PDF, 64.23 MB
5.0 / 0
16

逆数学と2階算術

Year:
1997
Language:
japanese
File:
PDF, 14.53 MB
0 / 0
17

数学基礎論講義―不完全性定理とその発展

Year:
1997
Language:
japanese
File:
PDF, 29.70 MB
0 / 0
18

数理論理学—語の問題

Year:
1973
Language:
japanese
File:
PDF, 14.73 MB
0 / 0
19

数理論理学

Year:
2010
Language:
japanese
File:
PDF, 27.88 MB
0 / 0
20

数学基礎論の世界 ロジックの雑記帳から

Year:
1972
Language:
japanese
File:
PDF, 29.11 MB
0 / 0
21

数学基礎論 増補版

Year:
1974
File:
PDF, 26.17 MB
0 / 0
22

数理論理学序説

Year:
2010
Language:
japanese
File:
PDF, 31.83 MB
0 / 0
23

数の体系と超準モデル

Year:
2002
Language:
japanese
File:
PDF, 44.63 MB
0 / 0
25

巨大基数の集合論

Year:
1998
Language:
japanese
File:
PDF, 111.91 MB
0 / 0
26

不完全性定理

Year:
2014
Language:
japanese
File:
PDF, 57.43 MB
5.0 / 0
27

ゲーデルに挑む 証明不可能なことの証明

Year:
2012
Language:
japanese
File:
PDF, 37.57 MB
5.0 / 0
28

递归论

Year:
1987
Language:
chinese
File:
PDF, 9.57 MB
0 / 0
29

The Basics of Logics

Language:
english
File:
PDF, 271 KB
0 / 0
30

一阶逻辑与一阶理论

Year:
1994
Language:
chinese
File:
PDF, 12.33 MB
0 / 0
31

数理逻辑

Year:
2020
Language:
chinese
File:
PDF, 7.33 MB
5.0 / 5.0
32

Lógica Para Computação

Year:
2021
Language:
portuguese
File:
PDF, 67.38 MB
0 / 0
33

Taxonomia dos axíōmata da lógica proposicional estoica

Language:
portuguese
File:
PDF, 940 KB
0 / 0
34

Elementos de lógica formal

Year:
1998
Language:
spanish
File:
PDF, 18.06 MB
0 / 0
35

Introducción a la lógica

Year:
2002
Language:
spanish
File:
PDF, 3.46 MB
0 / 0
36

证明的艺术

Year:
2000
Language:
chinese
File:
PDF, 4.76 MB
0 / 0
37

趣味逻辑问题

Year:
2001
Language:
chinese
File:
PDF, 2.75 MB
0 / 0
38

The General Theory of Notational Relativity

Year:
1921
Language:
english
File:
PDF, 6.14 MB
0 / 0
39

Frege Philosophy of Language

File:
PDF, 38.81 MB
0 / 0
41

Logic as Algebra

Year:
2009
Language:
english
File:
DJVU, 1.52 MB
0 / 0
42

Modal Logic - The Lewis Modal Systems

Language:
english
File:
PDF, 177.67 MB
0 / 0
43

Mathematische Logik für Anfänger: Aussagenlogik

Year:
1970
Language:
german
File:
PDF, 33.41 MB
0 / 0
44

Grundbegriffe der Mengenlehre und Logik

Year:
1966
Language:
german
File:
PDF, 17.18 MB
0 / 0
45

Introdução à lógica

Year:
2001
Language:
portuguese
File:
PDF, 123.93 MB
0 / 0
47

How Do We Reason?: An Introduction to Logic

Year:
2021
Language:
english
File:
EPUB, 7.59 MB
0 / 0
48

60 Jogos Para o Pensamento Lógico - Volume 1 Parte A

Year:
1988
Language:
portuguese
File:
PDF, 5.14 MB
0 / 0
49

Logica

Year:
2012
Language:
italian
File:
PDF, 9.97 MB
0 / 0
50

La vaghezza

Year:
2008
Language:
italian
File:
PDF, 5.10 MB
0 / 0
51

Determinacy of Infinitely Long Games (draft - March 2020)

Year:
2020
Language:
english
File:
PDF, 2.35 MB
0 / 0
52

Modelli sintattici e semantici delle teorie elementari

Year:
1968
Language:
italian
File:
PDF, 15.28 MB
0 / 0
53

La logica

Year:
1974
Language:
italian
File:
PDF, 7.88 MB
0 / 0
54

Logica e linguaggio nel Medioevo

Year:
1993
Language:
italian
File:
PDF, 26.50 MB
0 / 0
55

Lógica Matemática Caítulos Complementarios

Year:
2013
Language:
spanish
File:
DJVU, 3.92 MB
0 / 0
56

逻辑学十五讲

Year:
2008
Language:
chinese
File:
AZW3 , 1.18 MB
0 / 0
57

思维魔方: 让哲学家和数学家纠结的悖论

Year:
2014
Language:
chinese
File:
MOBI , 8.35 MB
0 / 0
58

思维魔方: 让哲学家和数学家纠结的悖论

Year:
2014
Language:
chinese
File:
EPUB, 6.55 MB
0 / 0
59

思维魔方: 让哲学家和数学家纠结的悖论

Year:
2014
Language:
chinese
File:
AZW3 , 7.24 MB
0 / 0
60

逻辑学是什么

Year:
2015
Language:
chinese
File:
AZW3 , 29.31 MB
0 / 0
61

O que é uma Definição

Year:
2005
Language:
portuguese
File:
PDF, 673 KB
0 / 0
62

O que é um Axioma

Year:
2003
Language:
portuguese
File:
PDF, 18.82 MB
0 / 0
63

Teoria elementare degli insiemi

Year:
1976
Language:
italian
File:
PDF, 9.79 MB
0 / 0
64

La teoria degli insiemi e l'ipotesi del continuo

Year:
1973
Language:
italian
File:
PDF, 6.88 MB
0 / 0
65

Teoria degli insiemi e logica

Year:
1970
Language:
italian
File:
PDF, 7.91 MB
0 / 0
66

Logica e assiomatica

Year:
1968
Language:
italian
File:
PDF, 18.35 MB
0 / 0
68

Logic Machines and Diagrams

Year:
1958
Language:
english
File:
DJVU, 2.67 MB
0 / 0
69

Knowledge Graphs and Logic: One of Two Kinds

Year:
1993
Language:
english
File:
DJVU, 3.62 MB
0 / 0
70

The Empty Set, the Singleton, and the Ordered Pair

Year:
2003
Language:
english
File:
DJVU, 246 KB
0 / 0
71

Formal Logic: Its Scope and Limits

Year:
1967
Language:
english
File:
PDF, 10.40 MB
0 / 0
72

Logic: lecture notes

Year:
2016
Language:
english
File:
PDF, 973 KB
0 / 0
73

Logicism Renewed

Year:
2017
Language:
english
File:
PDF, 1.76 MB
0 / 0
74

Admissible Sets and Structures

Year:
2017
Language:
english
File:
PDF, 20.38 MB
0 / 0
75

Modern Logic: A Text in Elementary Symbolic Logic

Year:
1994
Language:
english
File:
PDF, 47.81 MB
0 / 0
76

Logica. Manual pentru clasa a X-a

Year:
1990
Language:
romanian
File:
PDF, 68.67 MB
0 / 0
77

La logica da Leibniz a Frege

Year:
1982
Language:
italian
File:
PDF, 4.66 MB
0 / 0
78

Lambda Calculus with Types

Year:
2013
Language:
english
File:
PDF, 6.78 MB
0 / 0
79

Ordinal Computability: An Introduction to Infinitary Machines

Year:
2019
Language:
english
File:
PDF, 4.10 MB
0 / 0
80

数理逻辑是什么

Year:
2018
Language:
chinese
File:
PDF, 36.29 MB
0 / 0
81

Lógica e filosofia da linguagem

Year:
2009
Language:
portuguese
File:
PDF, 13.17 MB
0 / 0
82

The Elements of Logic

Year:
1974
Language:
english
File:
PDF, 47.75 MB
0 / 0
84

An Introduction to Foundational Logic

Year:
2012
Language:
english
File:
PDF, 39.62 MB
0 / 0
85

Introduzione alla logica. Linguaggio, significato, argomentazione

Year:
2009
Language:
italian
File:
PDF, 100.28 MB
0 / 0
86

Introduzione alla logica. Linguaggio, significato, argomentazione

Year:
2009
Language:
italian
File:
PDF, 29.43 MB
0 / 0
88

Игра и логика

Year:
1975
Language:
russian
File:
DJVU, 9.05 MB
0 / 0
89

Логика (Уч.пособие)

Language:
russian
File:
DOC, 1002 KB
0 / 0
90

Логика

Language:
russian
File:
TXT, 285 KB
0 / 0
91

A Prova de Godel

Language:
portuguese
File:
PDF, 3.64 MB
0 / 0
92

Dagli insiemi ai numeri

Year:
1994
Language:
italian
File:
PDF, 1.96 MB
0 / 0
93

Лучшие задачи на логику

Year:
2018
Language:
russian
File:
PDF, 21.86 MB
5.0 / 0
95

A matematikai logika alkalmazásszemléletű tárgyalása

Year:
2003
Language:
hungarian
File:
EPUB, 6.48 MB
0 / 0
96

Что такое аксиоматический метод

Year:
2001
Language:
russian
File:
DJVU, 774 KB
0 / 0
98

Отрицательные высказывания

Year:
1973
Language:
russian
File:
DJVU, 1.69 MB
0 / 0
99

Основания математической логики

Year:
1969
Language:
russian
File:
DJVU, 6.04 MB
0 / 0
102

Неклассические логики. Учебное пособие

Year:
2006
Language:
russian
File:
PDF, 2.93 MB
0 / 0
105

Математическая логика

Year:
2011
Language:
russian
File:
PDF, 2.53 MB
0 / 0
106

Логика в лицах и символах

Year:
2006
Language:
russian
File:
PDF, 9.54 MB
0 / 0
107

Лекции по математической логике

Year:
1973
Language:
russian
File:
DJVU, 2.16 MB
0 / 0
110

Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Year:
1983
Language:
german
File:
DJVU, 11.15 MB
0 / 0
111

A survey of mathematical logic

Year:
1963
Language:
english
File:
DJVU, 5.47 MB
0 / 0
112

A modern formal logic

Year:
1964
Language:
english
File:
DJVU, 1.03 MB
0 / 0
117

The development of symbolic logic: A critical-historical study of the logical calculus

Year:
1906
Language:
english
File:
DJVU, 3.09 MB
0 / 0
118

The Art of Reasoning: An Introduction to Logic and Critical Thinking

Year:
2014
Language:
english
File:
PDF, 7.19 MB
4.5 / 0
119

Symbolic logic: an introduction

Year:
1952
Language:
english
File:
DJVU, 2.74 MB
0 / 0
122

Papers on time and tense

Year:
1968
Language:
english
File:
DJVU, 1.22 MB
0 / 0
123

Notions and theorems of elementary formal logic

Year:
1994
Language:
english
File:
DJVU, 5.15 MB
0 / 0
124

Natural deduction: the logical basis of axiom systems

Year:
1962
Language:
english
File:
DJVU, 2.97 MB
0 / 0
125

Логики Лукасевича и простые числа

Year:
2000
Language:
russian
File:
DJVU, 3.93 MB
0 / 0
126

Logic matters

Year:
1972
Language:
english
File:
DJVU, 3.20 MB
0 / 0
127

Logic colloquium 2004

Year:
2008
Language:
english
File:
PDF, 1.05 MB
0 / 0
128

Logic and philosophy today, vol.2

Year:
2011
Language:
english
File:
DJVU, 3.83 MB
0 / 0
129

Logic and philosophy today, vol.1

Year:
2011
Language:
english
File:
DJVU, 4.76 MB
0 / 0
130

Logic: techniques of formal reasoning

Year:
1964
Language:
english
File:
DJVU, 2.49 MB
0 / 0
131

Квантовая логика

Year:
2005
Language:
russian
File:
PDF, 864 KB
0 / 0
134

Henkin-Keisler Models. Mathematics and Its Applications

Year:
1997
Language:
english
File:
DJVU, 1.79 MB
0 / 0
135

Категорная логика

Year:
2005
Language:
russian
File:
PDF, 2.20 MB
0 / 0
136

Elementary logic

Year:
1965
Language:
english
File:
DJVU, 1.17 MB
0 / 0
137

Diamond, a paradox logic

Year:
2010
Language:
english
File:
PDF, 1.30 MB
0 / 0
138

Aristotle's modal syllogisms

Year:
1963
Language:
english
File:
DJVU, 920 KB
0 / 0
139

A Boole anthology: Recent and classical studies in the logic of George Boole

Year:
2002
Language:
english
File:
DJVU, 3.53 MB
0 / 0
140

Bevezetés a matematikai logikába

Year:
1996
Language:
hungarian
File:
DJVU, 1.16 MB
0 / 0
141

La logique facile

Year:
2005
Language:
french
File:
PDF, 813 KB
0 / 0
142

Logique floue, principes, aide à  la décision

Year:
2002
Language:
french
File:
PDF, 3.14 MB
0 / 0
143

Shooting Star: The Brief and Brilliant Life of Frank Ramsey

Year:
2013
Language:
english
File:
EPUB, 173 KB
0 / 0
144

Foundations of Mathematics and Other Logical Essays

Year:
1931
Language:
english
File:
EPUB, 1.50 MB
0 / 0
145

Teoria assiomatica degli insiemi

Year:
1974
Language:
italian
File:
PDF, 8.38 MB
0 / 0
146

Introduzione alla logica formale

Year:
1991
Language:
italian
File:
PDF, 6.87 MB
0 / 0
147

Nmhcf keto

Year:
2018
Language:
afar
File:
PDF, 35.19 MB
0 / 0
148

Argomenti di logica

Year:
2012
Language:
italian
File:
PDF, 3.58 MB
0 / 0
151

Jakościowa teoria informacji

Year:
1970
Language:
polish
File:
PDF, 10.44 MB
0 / 0
152

Cybernetyczna teoria układów samodzielnych

Year:
1966
Language:
polish
File:
PDF, 10.32 MB
0 / 0
153

A Guide to Classical and Modern Model Theory

Year:
2003
Language:
english
File:
PDF, 32.94 MB
0 / 0
154

Substructual Logics: A Primer

Year:
2002
Language:
english
File:
PDF, 28.49 MB
0 / 0
155

Types, Tableaus, and Gödel’s God

Year:
2002
Language:
english
File:
PDF, 15.49 MB
0 / 0
156

Elementare Axiome der Mengenlehre-Einführung in die Allgemeine Mengenlehre

Year:
1971
Language:
german
File:
PDF, 8.18 MB
0 / 0
157

Le Fantôme de la Transparence

Year:
2016
Language:
french
File:
PDF, 17.88 MB
0 / 0
158

Logic and Philosophy Today

Year:
2011
Language:
english
File:
PDF, 35.87 MB
0 / 0
159

Logic and Philosophy Today

Year:
2011
Language:
english
File:
PDF, 40.10 MB
0 / 0
160

О логике конструктивной математики

Year:
1972
Language:
russian
File:
PDF, 10.41 MB
0 / 0
162

証明論と計算量

Year:
1995
Language:
japanese
File:
PDF, 9.80 MB
0 / 0
163

層・圏・トポス——現代的集合像を求めて

Year:
2010
Language:
japanese
File:
PDF, 9.00 MB
0 / 0
165

Elementy logiki formalnej

Year:
1980
Language:
polish
File:
PDF, 78.88 MB
0 / 0
168

Logica Simbolica

Year:
2005
Language:
spanish
File:
PDF, 32.03 MB
0 / 0
169

哥德爾 /Gede’er

Year:
2002
Language:
chinese
File:
PDF, 10.42 MB
0 / 0