모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서
201
Lógica simbólica

Lógica simbólica

Manuel Garrido
년:
2005
언어:
spanish
파일:
PDF, 6.44 MB
0 / 0
spanish, 2005
202
递归论：算法与随机性基础

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

郝兆宽, 杨睿之, 杨跃
년:
2018
언어:
chinese
파일:
PDF, 9.19 MB
5.0 / 5.0
chinese, 2018
203
The Axiom of Choice

The Axiom of Choice

Thomas J. Jech
년:
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

Alfred Tarski, Andzej Mostowski, Raphael M. Robinson
년:
1971
언어:
english
파일:
PDF, 1.32 MB
5.0 / 0
english, 1971
206
Lógica matemática: Antecedentes y fundamentos

Lógica matemática: Antecedentes y fundamentos

Alberto Moreno
년:
1971
언어:
spanish
파일:
PDF, 16.10 MB
4.0 / 0
spanish, 1971
207
Classical Recursion Theory: Volume II

Classical Recursion Theory: Volume II

Piergiorgio Odifreddi
년:
1999
언어:
english
파일:
PDF, 42.18 MB
0 / 0
english, 1999
208
逻辑新引•怎样判别是非（终极修订增补完整本）

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

殷海光
년:
2020
언어:
chinese
파일:
EPUB, 1.90 MB
5.0 / 0
chinese, 2020
209
Principia Mathematica

Principia Mathematica

Alfred North Whitehead, Bertrand Russell
년:
1927
언어:
english
파일:
DJVU, 8.68 MB
0 / 0
english, 1927
210
ISE Critical Thinking: a Students Introduction

ISE Critical Thinking: a Students Introduction

Gregory Bassham, William Irwin, Henry Nardone, James M. Wallace
년:
2022
파일:
PDF, 6.33 MB
5.0 / 4.5
2022
211
Model Theory: Third Edition

Model Theory: Third Edition

C.C. Chang, H. Jerome Keisler
년:
2012
언어:
english
파일:
EPUB, 39.10 MB
5.0 / 3.5
english, 2012
212
Introduzione alla logica formale

Introduzione alla logica formale

Gabriele Lolli
년:
1991
언어:
italian
파일:
PDF, 6.87 MB
0 / 0
italian, 1991
213
Methods of Logic

Methods of Logic

Willard Van Orman Quine
년:
1961
언어:
english
파일:
PDF, 11.08 MB
4.0 / 0
english, 1961
214
初等模型论

初等模型论

姚宁远
년:
2018
언어:
chinese
파일:
PDF, 8.69 MB
0 / 5.0
chinese, 2018
215
Théorie des ensembles

Théorie des ensembles

Jean-Louis Krivine
년:
1998
언어:
french
파일:
PDF, 2.29 MB
0 / 0
french, 1998
216
Essential Logic for Computer Science

Essential Logic for Computer Science

Rex Page, Ruben Gamboa,
년:
2019
언어:
english
파일:
EPUB, 15.31 MB
5.0 / 5.0
english, 2019
217
逻辑新引•怎样判别是非（影响了李敖、柏杨、董桥等一代文化名人）

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

殷海光
년:
2020
언어:
chinese
파일:
PDF, 3.63 MB
5.0 / 0
chinese, 2020
218
Logic in Games

Logic in Games

Johan van Benthem
년:
2014
언어:
english
파일:
PDF, 3.81 MB
0 / 0
english, 2014
219
Modern Mathematical Logic

Modern Mathematical Logic

Joseph Mileti
년:
2022
언어:
english
파일:
PDF, 5.32 MB
5.0 / 5.0
english, 2022
220
高效论证：美国大学最实用的逻辑训练课【文字版】

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

大卫•莫罗, 安东尼•韦斯顿
년:
2021
언어:
chinese
파일:
PDF, 5.43 MB
5.0 / 5.0
chinese, 2021
221
Set Theory

Set Theory

John P. Burgess
년:
2022
언어:
english
파일:
PDF, 1.18 MB
5.0 / 5.0
english, 2022
222
Introduction à la logique

Introduction à la logique

Alfred Tarski
년:
1971
언어:
french
파일:
DJVU, 4.98 MB
0 / 0
french, 1971
223
[图灵计算机科学丛书]数理逻辑 第2版

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

（美）Herbert B.Enderton著
년:
2007
언어:
chinese
파일:
PDF, 12.39 MB
0 / 4.0
chinese, 2007
224
Lógica Para Computação

Lógica Para Computação

Flávio Soares Corrêa da Silva
년:
2021
언어:
portuguese
파일:
PDF, 67.38 MB
5.0 / 1.0
portuguese, 2021
225
Champion's Reasoning: Verbal, Analytical, Logical

Champion's Reasoning: Verbal, Analytical, Logical

Saurav SIngh
년:
2022
언어:
english
파일:
PDF, 97.48 MB
0 / 0
english, 2022
226
一阶逻辑与一阶理论

一阶逻辑与一阶理论

叶峰
년:
1994
언어:
chinese
파일:
PDF, 12.33 MB
0 / 0
chinese, 1994
227
Model Theory

Model Theory

Wilfrid Hodges
년:
1993
언어:
english
파일:
PDF, 39.08 MB
5.0 / 0
english, 1993
228
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

Lucia Ferrigno [Ferrigno, Lucia]
년:
2020
언어:
english
파일:
PDF, 1.46 MB
0 / 4.0
english, 2020
229
Possible Worlds: An Introduction to Logic and Its Philosophy

Possible Worlds: An Introduction to Logic and Its Philosophy

Raymond Bradley, Norman Swartz
년:
1979
언어:
english
파일:
PDF, 8.75 MB
0 / 0
english, 1979
230
Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel
년:
1998
언어:
english
파일:
PDF, 25.70 MB
5.0 / 5.0
english, 1998
231
Logique, informatique et paradoxes

Logique, informatique et paradoxes

Jean-Paul Delahaye
년:
1995
언어:
french
파일:
PDF, 9.94 MB
4.0 / 0
french, 1995
232
The Bloomsbury Companion to Philosophical Logic (Bloomsbury Companions)

The Bloomsbury Companion to Philosophical Logic (Bloomsbury Companions)

Leon Horsten (Editor), Richard Pettigrew (Editor)
년:
2014
언어:
english
파일:
PDF, 5.30 MB
0 / 5.0
english, 2014
233
First Course in Mathematical Logic

First Course in Mathematical Logic

Patrick Suppes, Shirley Hill
년:
2010
언어:
english
파일:
MOBI , 1.51 MB
0 / 0
english, 2010
235
Key Terms in Logic

Key Terms in Logic

Jon Williamson, Federica Russo
년:
2010
언어:
english
파일:
PDF, 666 KB
5.0 / 0
english, 2010
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

Morgan D. Jones.
년:
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)

Carl J. Posy
년:
2020
언어:
english
파일:
PDF, 2.88 MB
0 / 0
english, 2020
239
Deductive logic

Deductive logic

Warren Goldfarb
년:
2003
언어:
english
파일:
DJVU, 1.14 MB
5.0 / 4.0
english, 2003
240
Principia Mathematica

Principia Mathematica

Alfred North Whitehead, Bertrand Russell
년:
1927
언어:
english
파일:
DJVU, 6.61 MB
0 / 0
english, 1927
241
Um convite à Matemática

Um convite à Matemática

Daniel Cordeiro de Morais Filho
언어:
portuguese
파일:
PDF, 1.86 MB
5.0 / 5.0
portuguese
242
Symbolic Logic

Symbolic Logic

Odysseus Makridis
년:
2022
언어:
english
파일:
PDF, 5.07 MB
0 / 0
english, 2022
243
逻辑基础

逻辑基础

王路
년:
2004
언어:
chinese
파일:
PDF, 9.56 MB
0 / 5.0
chinese, 2004
244
How to Think More Effectively

How to Think More Effectively

The School of Life
년:
2020
언어:
english
파일:
EPUB, 3.32 MB
5.0 / 0
english, 2020
246
形而上学的逻辑基础（中文修订版）

形而上学的逻辑基础（中文修订版）

达米特, 任晓明, 李国山
년:
2013
언어:
chinese
파일:
PDF, 113.66 MB
0 / 5.0
chinese, 2013
247
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai Ben-Ari
년:
2012
언어:
english
파일:
PDF, 13.03 MB
0 / 5.0
english, 2012
249
Mind-bending math : riddles and paradoxes

Mind-bending math : riddles and paradoxes

Kung, David T.
년:
2015
언어:
english
파일:
PDF, 3.19 MB
0 / 3.0
english, 2015
250
A Beginner's Further Guide to Mathematical Logic

A Beginner's Further Guide to Mathematical Logic

Raymond Smullyan
년:
2017
언어:
english
파일:
PDF, 4.98 MB
0 / 5.0
english, 2017