251
A Beginner's Further Guide to Mathematical Logic

A Beginner's Further Guide to Mathematical Logic

Raymond Smullyan
Năm:
2017
Ngôn ngữ:
english
File:
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.
Ngôn ngữ:
english
File:
PDF, 6.04 MB
0 / 0
english
253
逻辑新引•怎样判别是非（终极修订增补完整本）

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

殷海光
Năm:
2020
Ngôn ngữ:
chinese
File:
MOBI , 2.68 MB
5.0 / 5.0
chinese, 2020
254
悖论、逻辑与非Cantor集合论

悖论、逻辑与非Cantor集合论

张金成
Ngôn ngữ:
chinese
File:
PDF, 19.09 MB
0 / 0
chinese
255
Short Introduction to Intuitionistic Logic

Short Introduction to Intuitionistic Logic

Grigori Mints
Năm:
2000
Ngôn ngữ:
english
File:
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
Năm:
2006
Ngôn ngữ:
english
File:
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
Năm:
2019
Ngôn ngữ:
english
File:
PDF, 3.17 MB
5.0 / 5.0
english, 2019
258
Mathematical Logic

Mathematical Logic

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Năm:
2021
Ngôn ngữ:
english
File:
PDF, 1.73 MB
5.0 / 5.0
english, 2021
259
论证的使用

论证的使用

（英）斯蒂芬·图尔敏（Stephen E·Toulmin）
Năm:
2016
Ngôn ngữ:
chinese
File:
PDF, 61.81 MB
0 / 4.0
chinese, 2016
260
Raciocínio Lógico Simplificado

Raciocínio Lógico Simplificado

Sergio Carvalho, Weber Campos
Năm:
2010
Ngôn ngữ:
portuguese
File:
PDF, 13.15 MB
0 / 0
portuguese, 2010
262
Учебник логики. Со сборником задач

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

Гетманова А.Д.
Năm:
2011
Ngôn ngữ:
russian
File:
PDF, 1.73 MB
5.0 / 0
russian, 2011
263
Model Theory

Model Theory

C.C. Chang and H.J. Keisler (Eds.)
Năm:
1990
Ngôn ngữ:
english
File:
PDF, 9.13 MB
5.0 / 4.0
english, 1990
265
Zermelo Fraenkel Set Theory 001

Zermelo Fraenkel Set Theory 001

H.C. Doets
Ngôn ngữ:
english
File:
PDF, 809 KB
0 / 0
english
266
Logica e aritmetica

Logica e aritmetica

Gottlob Frege, a cura di Corrado Mangione
Năm:
1965
Ngôn ngữ:
italian
File:
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
Năm:
1931
Ngôn ngữ:
english
File:
EPUB, 1.50 MB
0 / 0
english, 1931
268
数学多大点事儿

数学多大点事儿

刘行光 & 高慧 & 沈敏庆
Năm:
2015
Ngôn ngữ:
chinese
File:
EPUB, 5.88 MB
0 / 0
chinese, 2015
269
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Năm:
2012
Ngôn ngữ:
english
File:
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
Năm:
1989
Ngôn ngữ:
english
File:
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
Năm:
2006
Ngôn ngữ:
english
File:
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
Năm:
2017
Ngôn ngữ:
french
File:
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.
Năm:
2019
Ngôn ngữ:
indonesian
File:
PDF, 1.90 MB
0 / 0
indonesian, 2019
274
趣味逻辑学

趣味逻辑学

彭漪涟, 余式厚
Năm:
1981
Ngôn ngữ:
chinese
File:
PDF, 5.69 MB
5.0 / 4.0
chinese, 1981
275
邏輯與思考

邏輯與思考

陳瑞麟（台北：学富文化发行2003年）
Năm:
2003
Ngôn ngữ:
chinese
File:
PDF, 100.49 MB
4.0 / 0
chinese, 2003
276
Shooting Star: The Brief and Brilliant Life of Frank Ramsey

Shooting Star: The Brief and Brilliant Life of Frank Ramsey

Karl Sabbagh
Năm:
2013
Ngôn ngữ:
english
File:
EPUB, 173 KB
0 / 0
english, 2013
277
Classical descriptive set theory

Classical descriptive set theory

Alexander S. Kechris
Năm:
1995
Ngôn ngữ:
english
File:
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
Năm:
1973
Ngôn ngữ:
spanish
File:
PDF, 5.90 MB
0 / 0
spanish, 1973
279
The GCHQ Puzzle Book

The GCHQ Puzzle Book

Anon [Anon]
Năm:
2016
Ngôn ngữ:
english
File:
EPUB, 34.34 MB
0 / 3.0
english, 2016
280
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Năm:
2013
Ngôn ngữ:
chinese
File:
EPUB, 745 KB
5.0 / 0
chinese, 2013
281
The Moscow puzzles: 359 mathematical recreations

The Moscow puzzles: 359 mathematical recreations

B. A. KordemskiI
Năm:
1977
Ngôn ngữ:
english
File:
DJVU, 3.94 MB
0 / 0
english, 1977
282
Symbolic Logic

Symbolic Logic

Lewis Carroll (Charles Lutwidge Dodgson)
Năm:
1977
Ngôn ngữ:
english
File:
DJVU, 4.04 MB
0 / 0
english, 1977
283
Intuitive Axiomatic Set Theory

Intuitive Axiomatic Set Theory

José Luis García
Năm:
2024
Ngôn ngữ:
english
File:
PDF, 3.83 MB
0 / 5.0
english, 2024
284
Symbolic Logic

Symbolic Logic

Irving M. Copi
Năm:
1973
Ngôn ngữ:
english
File:
DJVU, 3.78 MB
0 / 0
english, 1973
285
THINK LIKE A ROCKET SCIENTIST - The Workbook

THINK LIKE A ROCKET SCIENTIST - The Workbook

Ozan Varol
Năm:
2019
Ngôn ngữ:
english
File:
PDF, 431 KB
5.0 / 4.5
english, 2019
286
逻辑学的发展

逻辑学的发展

[英]威廉·涅尔、玛莎·涅尔、张家龙、洪汉鼎
Năm:
1985
Ngôn ngữ:
chinese
File:
PDF, 280.65 MB
0 / 0
chinese, 1985
287
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
Năm:
2021
Ngôn ngữ:
chinese
File:
EPUB, 715 KB
5.0 / 0
chinese, 2021
288
Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis

Paul J. Cohen
Năm:
1966
Ngôn ngữ:
english
File:
DJVU, 1.05 MB
3.0 / 5.0
english, 1966
289
逻辑学基础 (Logic: The Essentials)

逻辑学基础 (Logic: The Essentials)

[美] 帕特里克. J. 赫尔利, Patrick J. Hurley, 郑伟平, 刘新文译
Năm:
2017
Ngôn ngữ:
chinese
File:
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
Năm:
1997
Ngôn ngữ:
english
File:
PDF, 2.80 MB
0 / 3.0
english, 1997
291
Intermediate Logic

Intermediate Logic

David Bostock
Năm:
1997
Ngôn ngữ:
english
File:
PDF, 5.30 MB
0 / 0
english, 1997
292
Kaplan GRE Exam Math Workbook  

Kaplan GRE Exam Math Workbook  

Kaplan
Năm:
2008
Ngôn ngữ:
english
File:
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
Năm:
1998
Ngôn ngữ:
english
File:
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
Năm:
1973
Ngôn ngữ:
spanish
File:
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
Năm:
1980
Ngôn ngữ:
english
File:
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]
Năm:
2021
Ngôn ngữ:
spanish
File:
EPUB, 2.80 MB
0 / 0
spanish, 2021
297
Logic: An Introduction

Logic: An Introduction

Greg Restall
Năm:
2005
Ngôn ngữ:
english
File:
PDF, 1.85 MB
0 / 0
english, 2005
298
逻辑要义

逻辑要义

[美] 欧文·M·柯匹 / 卡尔·科恩 / 丹尼尔·E·弗莱格
Ngôn ngữ:
chinese
File:
PDF, 13.78 MB
0 / 4.0
chinese
299
逻辑哲学研究

逻辑哲学研究

陈波
Năm:
2014
Ngôn ngữ:
chinese
File:
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
Năm:
1989
Ngôn ngữ:
english
File:
DJVU, 1.07 MB
5.0 / 4.0
english, 1989