Main

Recently Added

1

数理逻辑

Year:
2020
Language:
chinese
File:
PDF, 7.33 MB
0 / 0
3

Lógica Para Computação

Year:
2021
Language:
english
File:
PDF, 67.38 MB
0 / 0
4

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

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

Elementos de lógica formal

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

Introducción a la lógica

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

证明的艺术

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

趣味逻辑问题

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

Introduction à la logique standard

Year:
2011
Language:
french
File:
PDF, 129.74 MB
0 / 0
12

Logic in Linguistics

Year:
1977
Language:
english
File:
PDF, 8.30 MB
0 / 0
13

Logic, language, and meaning vol.2: Intensional logic and logical grammar

Year:
1991
Language:
english
File:
DJVU, 2.60 MB
0 / 0
14

Logic, Language, and Meaning: Introduction to Logic, Vol. 1

Year:
1991
Language:
english
File:
DJVU, 2.23 MB
0 / 0
15

What is mathematical logic?

Year:
1990
Language:
english
File:
DJVU, 933 KB
0 / 0
16

The General Theory of Notational Relativity

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

Frege Philosophy of Language

File:
PDF, 38.81 MB
0 / 0
19

Discrete structures, logic, and computability

Year:
1995
Language:
english
File:
DJVU, 22.22 MB
0 / 0
20

Logic as Algebra

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

First-Order Logic and Automated Theorem Proving

Year:
1996
Language:
english
File:
DJVU, 2.14 MB
0 / 0
22

First Order Mathematical Logic

Year:
1990
Language:
english
File:
DJVU, 1.52 MB
0 / 0
23

Modal Logic - The Lewis Modal Systems

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

Logic: A Complete Introduction: Teach Yourself (Complete Introductions)

Language:
english
File:
PDF, 5.21 MB
0 / 0
25

Mathematical Logic

Year:
2021
Language:
english
File:
PDF, 7.27 MB
0 / 0
26

The Essence of Logic

Year:
1997
Language:
english
File:
PDF, 17.93 MB
0 / 0
27

Mathematische Logik für Anfänger: Aussagenlogik

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

Grundbegriffe der Mengenlehre und Logik

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

Introdução à lógica

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

How Do We Reason?: An Introduction to Logic

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

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

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

Geometric Set Theory

Year:
2020
Language:
english
File:
PDF, 3.29 MB
0 / 0
34

2-Dimensional Categories

Year:
2021
Language:
english
File:
PDF, 2.91 MB
0 / 0
36

Logica

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

La vaghezza

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

Dual Mode Logic: A New Paradigm for Digital IC Design

Year:
2021
Language:
english
File:
PDF, 7.18 MB
0 / 0
40

Determinacy of Infinitely Long Games (draft - March 2020)

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

Modelli sintattici e semantici delle teorie elementari

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

La logica

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

Logica e linguaggio nel Medioevo

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

Decidability of Logical Theories and Their Combination

Year:
2020
Language:
english
File:
EPUB, 13.99 MB
0 / 0
46

Lógica Matemática Caítulos Complementarios

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

Gödel's Theorems and Zermelo's Axioms

Year:
2020
Language:
english
File:
PDF, 3.33 MB
0 / 0
50

Fast Track to Forcing

Year:
2020
Language:
english
File:
PDF, 688 KB
0 / 0
51

逻辑学十五讲

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

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

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

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

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

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

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

逻辑学是什么

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

How to Prove It: A Structured Approach

Year:
2019
Language:
english
File:
PDF, 9.26 MB
0 / 0
57

Boost your IQ (Mindzone #3)

Year:
2018
Language:
english
File:
EPUB, 1.67 MB
0 / 0
58

Ordinal Analysis with an Introduction to Proof Theory

Year:
2020
Language:
english
File:
PDF, 3.28 MB
0 / 0
60

O que é uma Definição

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

O que é um Axioma

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

Introduction to Symbolic Logic and Its Applications

Year:
1958
Language:
english
File:
EPUB, 3.24 MB
0 / 0
64

Teoria elementare degli insiemi

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

La teoria degli insiemi e l'ipotesi del continuo

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

Teoria degli insiemi e logica

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

Logica e assiomatica

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

Logic Machines and Diagrams

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

Knowledge Graphs and Logic: One of Two Kinds

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

The Empty Set, the Singleton, and the Ordered Pair

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

Formal Logic: Its Scope and Limits

Year:
1981
Language:
english
File:
PDF, 8.71 MB
0 / 0
73

Formal Logic: Its Scope and Limits

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

Symbolic Logic

Year:
1979
Language:
english
File:
PDF, 24.42 MB
0 / 0
75

Logic: lecture notes

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

How to Prove It: A Structured Approach

Year:
2019
Language:
english
File:
PDF, 8.12 MB
0 / 0
78

Logicism Renewed

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

Admissible Sets and Structures

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

A First Journey Through Logic

Year:
2019
Language:
english
File:
PDF, 2.41 MB
0 / 0
81

An Introduction To Metalogic

Year:
2015
Language:
english
File:
PDF, 2.60 MB
0 / 0
82

An Introduction To Logical Theory

Year:
2013
Language:
english
File:
PDF, 2.81 MB
0 / 0
83

Modern Logic: A Text in Elementary Symbolic Logic

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

Logica. Manual pentru clasa a X-a

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

La logica da Leibniz a Frege

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

Lambda Calculus with Types

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

Ordinal Computability: An Introduction to Infinitary Machines

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

数理逻辑是什么

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

Lógica e filosofia da linguagem

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

The Elements of Logic

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

An Introduction to Foundational Logic

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

Justification Logic: Reasoning with Reasons

Year:
2019
Language:
english
File:
PDF, 1.26 MB
0 / 0
94

Introduzione alla logica. Linguaggio, significato, argomentazione

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

Introduzione alla logica. Linguaggio, significato, argomentazione

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

Handbook Of Set Theory

Year:
2010
Language:
english
File:
PDF, 19.42 MB
0 / 0
98

A First Course in Mathematical Logic and Set Theory

Year:
2016
Language:
english
File:
PDF, 12.58 MB
0 / 0
99

Understanding Mathematical Proof

Year:
2014
Language:
english
File:
PDF, 1.97 MB
0 / 0
100

Book of Proof

Year:
2013
Language:
english
File:
PDF, 1.36 MB
0 / 0
102

Игра и логика

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

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

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

Логика

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

A Prova de Godel

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

Dagli insiemi ai numeri

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Интуиционизм. Введение

Year:
1965
Language:
russian
File:
DJVU, 1.90 MB
0 / 0
129

Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

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

Logic: an introduction

Year:
2006
Language:
english
File:
PDF, 1.31 MB
0 / 0
131

Logic in Tehran: Proceedings, 2003

Year:
2006
Language:
english
File:
DJVU, 2.95 MB
0 / 0
132

Logic and algebra: Selected papers Pontignano, 1994

Year:
1996
Language:
english
File:
DJVU, 4.88 MB
0 / 0
133

Frege and the logic of sense and reference

Year:
2002
Language:
english
File:
PDF, 1.61 MB
0 / 0
134

A survey of mathematical logic

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

A modern formal logic

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

Uncertain inference

Year:
2003
Language:
english
File:
PDF, 1.42 MB
0 / 0
143

Truth, vagueness, and paradox: An essay on the logic of truth

Year:
1990
Language:
english
File:
DJVU, 2.66 MB
0 / 0
146

Time and modality

Year:
1957
Language:
english
File:
DJVU, 1.21 MB
0 / 0
147

Theory of logical calculi: Basic theory of consequence operations

Year:
1988
Language:
english
File:
DJVU, 4.19 MB
0 / 0
148

The structure of the real line

Year:
2011
Language:
english
File:
PDF, 3.25 MB
0 / 0
149

The situation in logic

Year:
1989
Language:
english
File:
DJVU, 4.39 MB
0 / 0
151

The Power of Logic

Year:
2009
Language:
english
File:
PDF, 8.00 MB
0 / 0
152

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

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

The logic of concept expansion

Year:
2003
Language:
english
File:
PDF, 638 KB
0 / 0
156

The core model

Year:
1982
Language:
english
File:
DJVU, 1.62 MB
0 / 0
157

The classical decision problem

Year:
1997
Language:
english
File:
DJVU, 4.69 MB
0 / 0
159

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

Year:
2014
Language:
english
File:
PDF, 7.19 MB
5.0 / 0
160

Symbolic logic: an introduction

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

Symbolic logic

Year:
1959
Language:
english
File:
DJVU, 4.65 MB
0 / 0
162

Subrecursion: functions and hierarchies

Year:
1984
Language:
english
File:
DJVU, 1.30 MB
0 / 0
163

Strict finitism and the logic of mathematical applications

Year:
2011
Language:
english
File:
PDF, 1.16 MB
0 / 0
164

Simplicity theory

Year:
2014
Language:
english
File:
PDF, 1.28 MB
0 / 0
165

Sets, models and proofs

Year:
2018
Language:
english
File:
PDF, 1.49 MB
0 / 0
166

Sets, functions, and logic: an introduction to abstract mathematics

Year:
2004
Language:
english
File:
PDF, 1.01 MB
0 / 0
168

Semantical investigations in Heyting's intuitionistic logic

Year:
1981
Language:
english
File:
DJVU, 2.91 MB