201
递归论:算法与随机性基础

递归论:算法与随机性基础

ปี:
2018
ภาษา:
chinese
ไฟล์:
PDF, 9.19 MB
5.0 / 5.0
chinese, 2018
202
Lógica simbólica

Lógica simbólica

ปี:
2005
ภาษา:
spanish
ไฟล์:
PDF, 6.44 MB
0 / 0
spanish, 2005
203
The Axiom of Choice

The Axiom of Choice

ปี:
1973
ภาษา:
english
ไฟล์:
PDF, 8.27 MB
5.0 / 4.0
english, 1973
204
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究

必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究

ปี:
2017
ภาษา:
chinese
ไฟล์:
PDF, 57.68 MB
0 / 0
chinese, 2017
205
Undecidable Theories

Undecidable Theories

ปี:
1971
ภาษา:
english
ไฟล์:
PDF, 1.32 MB
5.0 / 0
english, 1971
206
逻辑新引•怎样判别是非(终极修订增补完整本)

逻辑新引•怎样判别是非(终极修订增补完整本)

ปี:
2020
ภาษา:
chinese
ไฟล์:
EPUB, 1.90 MB
5.0 / 0
chinese, 2020
207
Lógica matemática: Antecedentes y fundamentos

Lógica matemática: Antecedentes y fundamentos

ปี:
1971
ภาษา:
spanish
ไฟล์:
PDF, 16.10 MB
4.0 / 0
spanish, 1971
208
Classical Recursion Theory: Volume II

Classical Recursion Theory: Volume II

ปี:
1999
ภาษา:
english
ไฟล์:
PDF, 42.18 MB
0 / 0
english, 1999
209
ISE Critical Thinking: a Students Introduction

ISE Critical Thinking: a Students Introduction

ปี:
2022
ไฟล์:
PDF, 6.33 MB
5.0 / 4.5
2022
210
Principia Mathematica

Principia Mathematica

ปี:
1927
ภาษา:
english
ไฟล์:
DJVU, 8.68 MB
0 / 0
english, 1927
211
Model Theory: Third Edition

Model Theory: Third Edition

ปี:
2012
ภาษา:
english
ไฟล์:
EPUB, 39.10 MB
5.0 / 3.5
english, 2012
212
高效论证:美国大学最实用的逻辑训练课【文字版】

高效论证:美国大学最实用的逻辑训练课【文字版】

ปี:
2021
ภาษา:
chinese
ไฟล์:
PDF, 5.43 MB
5.0 / 5.0
chinese, 2021
213
Introduzione alla logica formale

Introduzione alla logica formale

ปี:
1991
ภาษา:
italian
ไฟล์:
PDF, 6.87 MB
0 / 0
italian, 1991
214
初等模型论

初等模型论

ปี:
2018
ภาษา:
chinese
ไฟล์:
PDF, 8.69 MB
0 / 5.0
chinese, 2018
215
Methods of Logic

Methods of Logic

ปี:
1961
ภาษา:
english
ไฟล์:
PDF, 11.08 MB
4.0 / 0
english, 1961
216
逻辑新引•怎样判别是非(影响了李敖、柏杨、董桥等一代文化名人)

逻辑新引•怎样判别是非(影响了李敖、柏杨、董桥等一代文化名人)

ปี:
2020
ภาษา:
chinese
ไฟล์:
PDF, 3.63 MB
5.0 / 0
chinese, 2020
217
Essential Logic for Computer Science

Essential Logic for Computer Science

ปี:
2019
ภาษา:
english
ไฟล์:
EPUB, 15.31 MB
5.0 / 5.0
english, 2019
218
Théorie des ensembles

Théorie des ensembles

ปี:
1998
ภาษา:
french
ไฟล์:
PDF, 2.29 MB
0 / 0
french, 1998
219
Logic in Games

Logic in Games

ปี:
2014
ภาษา:
english
ไฟล์:
PDF, 3.81 MB
0 / 0
english, 2014
220
Modern Mathematical Logic

Modern Mathematical Logic

ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 5.32 MB
5.0 / 5.0
english, 2022
221
Introduction à la logique

Introduction à la logique

ปี:
1971
ภาษา:
french
ไฟล์:
DJVU, 4.98 MB
0 / 0
french, 1971
222
Set Theory

Set Theory

ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 1.18 MB
5.0 / 5.0
english, 2022
223
[图灵计算机科学丛书]数理逻辑 第2版

[图灵计算机科学丛书]数理逻辑 第2版

ปี:
2007
ภาษา:
chinese
ไฟล์:
PDF, 12.39 MB
0 / 4.0
chinese, 2007
224
Champion's Reasoning: Verbal, Analytical, Logical

Champion's Reasoning: Verbal, Analytical, Logical

ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 97.48 MB
0 / 0
english, 2022
225
Lógica Para Computação

Lógica Para Computação

ปี:
2021
ภาษา:
portuguese
ไฟล์:
PDF, 67.38 MB
5.0 / 1.0
portuguese, 2021
226
一阶逻辑与一阶理论

一阶逻辑与一阶理论

ปี:
1994
ภาษา:
chinese
ไฟล์:
PDF, 12.33 MB
0 / 0
chinese, 1994
227
Smart Thinking At Work: A Guide to Problem-Solving Strategies in the Workplace

Smart Thinking At Work: A Guide to Problem-Solving Strategies in the Workplace

ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 1.46 MB
0 / 4.0
english, 2020
228
Model Theory

Model Theory

ปี:
1993
ภาษา:
english
ไฟล์:
PDF, 39.08 MB
5.0 / 0
english, 1993
229
Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

ปี:
1998
ภาษา:
english
ไฟล์:
PDF, 25.70 MB
5.0 / 5.0
english, 1998
230
Logique, informatique et paradoxes

Logique, informatique et paradoxes

ปี:
1995
ภาษา:
french
ไฟล์:
PDF, 9.94 MB
4.0 / 0
french, 1995
231
The Bloomsbury Companion to Philosophical Logic (Bloomsbury Companions)

The Bloomsbury Companion to Philosophical Logic (Bloomsbury Companions)

ปี:
2014
ภาษา:
english
ไฟล์:
PDF, 5.30 MB
0 / 5.0
english, 2014
232
First Course in Mathematical Logic

First Course in Mathematical Logic

ปี:
2010
ภาษา:
english
ไฟล์:
MOBI , 1.51 MB
0 / 0
english, 2010
233
Possible Worlds: An Introduction to Logic and Its Philosophy

Possible Worlds: An Introduction to Logic and Its Philosophy

ปี:
1979
ภาษา:
english
ไฟล์:
PDF, 8.75 MB
0 / 0
english, 1979
234
Key Terms in Logic

Key Terms in Logic

ปี:
2010
ภาษา:
english
ไฟล์:
PDF, 666 KB
5.0 / 0
english, 2010
235
Mathématiques et mystères : quand la science rencontre des énigmes impossibles à résoudre... et en crée !

Mathématiques et mystères : quand la science rencontre des énigmes impossibles à résoudre... et en crée !

ปี:
2016
ภาษา:
french
ไฟล์:
PDF, 89.61 MB
0 / 0
french, 2016
236
逻辑学是什么

逻辑学是什么

ปี:
2015
ภาษา:
chinese
ไฟล์:
AZW3 , 29.31 MB
0 / 0
chinese, 2015
237
The thinker's toolkit : fourteen powerful techniques for problem solving

The thinker's toolkit : fourteen powerful techniques for problem solving

ปี:
1998
ภาษา:
english
ไฟล์:
MOBI , 5.57 MB
0 / 5.0
english, 1998
238
Mathematical Intuitionism (Elements in the Philosophy of Mathematics)

Mathematical Intuitionism (Elements in the Philosophy of Mathematics)

ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 2.88 MB
0 / 0
english, 2020
239
Deductive logic

Deductive logic

ปี:
2003
ภาษา:
english
ไฟล์:
DJVU, 1.14 MB
5.0 / 4.0
english, 2003
240
Symbolic Logic

Symbolic Logic

ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 5.07 MB
0 / 0
english, 2022
241
Um convite à Matemática

Um convite à Matemática

ภาษา:
portuguese
ไฟล์:
PDF, 1.86 MB
5.0 / 5.0
portuguese
242
Principia Mathematica

Principia Mathematica

ปี:
1927
ภาษา:
english
ไฟล์:
DJVU, 6.61 MB
0 / 0
english, 1927
243
How to Prove It: A Structured Approach, Third Edition [3rd Ed] (Instructor's Solution Manual, Solutions)

How to Prove It: A Structured Approach, Third Edition [3rd Ed] (Instructor's Solution Manual, Solutions)

ปี:
2019
ภาษา:
english
ไฟล์:
PDF, 1.10 MB
5.0 / 5.0
english, 2019
244
逻辑基础

逻辑基础

ปี:
2004
ภาษา:
chinese
ไฟล์:
PDF, 9.56 MB
0 / 5.0
chinese, 2004
245
How to Think More Effectively

How to Think More Effectively

ปี:
2020
ภาษา:
english
ไฟล์:
EPUB, 3.32 MB
5.0 / 0
english, 2020
246
逻辑与哲学现代逻辑导论:第9版

逻辑与哲学现代逻辑导论:第9版

ปี:
2019
ภาษา:
chinese
ไฟล์:
PDF, 107.97 MB
5.0 / 5.0
chinese, 2019
247
形而上学的逻辑基础(中文修订版)

形而上学的逻辑基础(中文修订版)

ปี:
2013
ภาษา:
chinese
ไฟล์:
PDF, 113.66 MB
0 / 5.0
chinese, 2013
248
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

ปี:
2012
ภาษา:
english
ไฟล์:
PDF, 13.03 MB
0 / 5.0
english, 2012
250
Mind-bending math : riddles and paradoxes

Mind-bending math : riddles and paradoxes

ปี:
2015
ภาษา:
english
ไฟล์:
PDF, 3.19 MB
0 / 3.0
english, 2015