251
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
252
Mathematical Reasoning: Writing and Proof. Version 2.0

Mathematical Reasoning: Writing and Proof. Version 2.0

Sundstrom Ted.
Լեզու:
english
Ֆայլ:
PDF, 6.04 MB
0 / 0
english
253
悖论、逻辑与非Cantor集合论

悖论、逻辑与非Cantor集合论

张金成
Լեզու:
chinese
Ֆայլ:
PDF, 19.09 MB
0 / 0
chinese
254
逻辑新引•怎样判别是非（终极修订增补完整本）

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

殷海光
Տարի:
2020
Լեզու:
chinese
Ֆայլ:
MOBI , 2.68 MB
5.0 / 5.0
chinese, 2020
255
Short Introduction to Intuitionistic Logic

Short Introduction to Intuitionistic Logic

Grigori Mints
Տարի:
2000
Լեզու:
english
Ֆայլ:
PDF, 13.84 MB
5.0 / 5.0
english, 2000
256
Set Theory: The Third Millenium Edition, Revised and Expanded

Set Theory: The Third Millenium Edition, Revised and Expanded

Thomas Jech
Տարի:
2006
Լեզու:
english
Ֆայլ:
PDF, 6.86 MB
5.0 / 0
english, 2006
257
Reverse Mathematics: Proofs From the Inside Out

Reverse Mathematics: Proofs From the Inside Out

John Stillwell
Տարի:
2019
Լեզու:
english
Ֆայլ:
PDF, 3.17 MB
5.0 / 5.0
english, 2019
258
论证的使用

论证的使用

（英）斯蒂芬·图尔敏（Stephen E·Toulmin）
Տարի:
2016
Լեզու:
chinese
Ֆայլ:
PDF, 61.81 MB
0 / 4.0
chinese, 2016
259
Mathematical Logic

Mathematical Logic

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Տարի:
2021
Լեզու:
english
Ֆայլ:
PDF, 1.73 MB
5.0 / 5.0
english, 2021
260
Raciocínio Lógico Simplificado

Raciocínio Lógico Simplificado

Sergio Carvalho, Weber Campos
Տարի:
2010
Լեզու:
portuguese
Ֆայլ:
PDF, 13.15 MB
0 / 0
portuguese, 2010
262
Учебник логики. Со сборником задач

Учебник логики. Со сборником задач

Гетманова А.Д.
Տարի:
2011
Լեզու:
russian
Ֆայլ:
PDF, 1.73 MB
5.0 / 0
russian, 2011
263
Model Theory

Model Theory

C.C. Chang and H.J. Keisler (Eds.)
Տարի:
1990
Լեզու:
english
Ֆայլ:
PDF, 9.13 MB
5.0 / 4.0
english, 1990
265
Zermelo Fraenkel Set Theory 001

Zermelo Fraenkel Set Theory 001

H.C. Doets
Լեզու:
english
Ֆայլ:
PDF, 809 KB
0 / 0
english
266
Logica e aritmetica

Logica e aritmetica

Gottlob Frege, a cura di Corrado Mangione
Տարի:
1965
Լեզու:
italian
Ֆայլ:
PDF, 12.09 MB
0 / 0
italian, 1965
267
Foundations of Mathematics and Other Logical Essays

Foundations of Mathematics and Other Logical Essays

Frank Plumpton Ramsey
Տարի:
1931
Լեզու:
english
Ֆայլ:
EPUB, 1.50 MB
0 / 0
english, 1931
268
数学多大点事儿

数学多大点事儿

刘行光 & 高慧 & 沈敏庆
Տարի:
2015
Լեզու:
chinese
Ֆայլ:
EPUB, 5.88 MB
0 / 0
chinese, 2015
269
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Տարի:
2012
Լեզու:
english
Ֆայլ:
DJVU, 2.11 MB
0 / 0
english, 2012
270
A modern formal logic primer: predicate theory

A modern formal logic primer: predicate theory

Paul Teller
Տարի:
1989
Լեզու:
english
Ֆայլ:
DJVU, 1.80 MB
5.0 / 4.0
english, 1989
271
The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

Roman Kossak, Jim Schmerl
Տարի:
2006
Լեզու:
english
Ֆայլ:
PDF, 1.94 MB
5.0 / 5.0
english, 2006
272
La théorie des ensembles. Introduction à une théorie de l'infini et des grands cardinaux

La théorie des ensembles. Introduction à une théorie de l'infini et des grands cardinaux

Patrick Dehornoy
Տարի:
2017
Լեզու:
french
Ֆայլ:
DJVU, 18.95 MB
0 / 0
french, 2017
273
Logika: Ilmu Berpikir Kritis

Logika: Ilmu Berpikir Kritis

Dr. Raja Oloan Tumanggor, Carolus Suharyanto, M.Si.
Տարի:
2019
Լեզու:
indonesian
Ֆայլ:
PDF, 1.90 MB
0 / 0
indonesian, 2019
274
趣味逻辑学

趣味逻辑学

彭漪涟, 余式厚
Տարի:
1981
Լեզու:
chinese
Ֆայլ:
PDF, 5.69 MB
5.0 / 4.0
chinese, 1981
275
Shooting Star: The Brief and Brilliant Life of Frank Ramsey

Shooting Star: The Brief and Brilliant Life of Frank Ramsey

Karl Sabbagh
Տարի:
2013
Լեզու:
english
Ֆայլ:
EPUB, 173 KB
0 / 0
english, 2013
276
邏輯與思考

邏輯與思考

陳瑞麟（台北：学富文化发行2003年）
Տարի:
2003
Լեզու:
chinese
Ֆայլ:
PDF, 100.49 MB
4.0 / 0
chinese, 2003
277
Classical descriptive set theory

Classical descriptive set theory

Alexander S. Kechris
Տարի:
1995
Լեզու:
english
Ֆայլ:
DJVU, 2.87 MB
0 / 0
english, 1995
278
Introducción a la lógica matemática

Introducción a la lógica matemática

Alfonso Burgos
Տարի:
1973
Լեզու:
spanish
Ֆայլ:
PDF, 5.90 MB
0 / 0
spanish, 1973
279
The GCHQ Puzzle Book

The GCHQ Puzzle Book

Anon [Anon]
Տարի:
2016
Լեզու:
english
Ֆայլ:
EPUB, 34.34 MB
0 / 3.0
english, 2016
280
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Տարի:
2013
Լեզու:
chinese
Ֆայլ:
EPUB, 745 KB
5.0 / 0
chinese, 2013
281
The Moscow puzzles: 359 mathematical recreations

The Moscow puzzles: 359 mathematical recreations

B. A. KordemskiI
Տարի:
1977
Լեզու:
english
Ֆայլ:
DJVU, 3.94 MB
0 / 0
english, 1977
282
Symbolic Logic

Symbolic Logic

Lewis Carroll (Charles Lutwidge Dodgson)
Տարի:
1977
Լեզու:
english
Ֆայլ:
DJVU, 4.04 MB
0 / 0
english, 1977
283
Symbolic Logic

Symbolic Logic

Irving M. Copi
Տարի:
1973
Լեզու:
english
Ֆայլ:
DJVU, 3.78 MB
0 / 0
english, 1973
284
Intuitive Axiomatic Set Theory

Intuitive Axiomatic Set Theory

José Luis García
Տարի:
2024
Լեզու:
english
Ֆայլ:
PDF, 3.83 MB
0 / 5.0
english, 2024
285
THINK LIKE A ROCKET SCIENTIST - The Workbook

THINK LIKE A ROCKET SCIENTIST - The Workbook

Ozan Varol
Տարի:
2019
Լեզու:
english
Ֆայլ:
PDF, 431 KB
5.0 / 4.5
english, 2019
286
逻辑学的发展

逻辑学的发展

[英]威廉·涅尔、玛莎·涅尔、张家龙、洪汉鼎
Տարի:
1985
Լեզու:
chinese
Ֆայլ:
PDF, 280.65 MB
0 / 0
chinese, 1985
287
高效论证：美国大学最实用的逻辑训练课

高效论证：美国大学最实用的逻辑训练课

大卫•莫罗, 安东尼•韦斯顿
Տարի:
2021
Լեզու:
chinese
Ֆայլ:
EPUB, 715 KB
5.0 / 0
chinese, 2021
288
Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis

Paul J. Cohen
Տարի:
1966
Լեզու:
english
Ֆայլ:
DJVU, 1.05 MB
3.0 / 5.0
english, 1966
289
逻辑学基础 (Logic: The Essentials)

逻辑学基础 (Logic: The Essentials)

[美] 帕特里克. J. 赫尔利, Patrick J. Hurley, 郑伟平, 刘新文译
Տարի:
2017
Լեզու:
chinese
Ֆայլ:
PDF, 70.79 MB
5.0 / 0
chinese, 2017
290
Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician

Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician

Winfried Just, Martin Weese
Տարի:
1997
Լեզու:
english
Ֆայլ:
PDF, 2.80 MB
0 / 3.0
english, 1997
291
Intermediate Logic

Intermediate Logic

David Bostock
Տարի:
1997
Լեզու:
english
Ֆայլ:
PDF, 5.30 MB
0 / 0
english, 1997
292
Kaplan GRE Exam Math Workbook  

Kaplan GRE Exam Math Workbook  

Kaplan
Տարի:
2008
Լեզու:
english
Ֆայլ:
EPUB, 4.92 MB
0 / 0
english, 2008
293
Introduction to Logic: Propositional Logic, 3rd ed.

Introduction to Logic: Propositional Logic, 3rd ed.

Howard Pospesel, William G. Lycan
Տարի:
1998
Լեզու:
english
Ֆայլ:
PDF, 32.87 MB
0 / 4.0
english, 1998
294
Elementos de Lógica Simbólica

Elementos de Lógica Simbólica

Telma Barreiro de Nudler, Oscar Nudler
Տարի:
1973
Լեզու:
spanish
Ֆայլ:
PDF, 2.82 MB
0 / 0
spanish, 1973
295
Set Theory: An Introduction to Independence Proofs

Set Theory: An Introduction to Independence Proofs

Kenneth Kunen
Տարի:
1980
Լեզու:
english
Ֆայլ:
PDF, 5.78 MB
5.0 / 0
english, 1980
296
El jardín mágico de George B y otros acertijos lógicos

El jardín mágico de George B y otros acertijos lógicos

Raymond Smullyan [Smullyan, Raymond]
Տարի:
2021
Լեզու:
spanish
Ֆայլ:
EPUB, 2.80 MB
0 / 0
spanish, 2021
297
Logic: An Introduction

Logic: An Introduction

Greg Restall
Տարի:
2005
Լեզու:
english
Ֆայլ:
PDF, 1.85 MB
0 / 0
english, 2005
298
逻辑要义

逻辑要义

[美] 欧文·M·柯匹 / 卡尔·科恩 / 丹尼尔·E·弗莱格
Լեզու:
chinese
Ֆայլ:
PDF, 13.78 MB
0 / 4.0
chinese
299
逻辑哲学研究

逻辑哲学研究

陈波
Տարի:
2014
Լեզու:
chinese
Ֆայլ:
PDF, 105.28 MB
0 / 0
chinese, 2014
300
A Modern Formal Logic Primer: Sentence Logic, Volume I

A Modern Formal Logic Primer: Sentence Logic, Volume I

Paul Teller
Տարի:
1989
Լեզու:
english
Ֆայլ:
DJVU, 1.07 MB
5.0 / 4.0
english, 1989