251
Mathematical Reasoning: Writing and Proof. Version 2.0

Mathematical Reasoning: Writing and Proof. Version 2.0

Sundstrom Ted.
Sprache:
english
Datei:
PDF, 6.04 MB
0 / 0
english
252
A Beginner's Further Guide to Mathematical Logic

A Beginner's Further Guide to Mathematical Logic

Raymond Smullyan
Jahr:
2017
Sprache:
english
Datei:
PDF, 4.98 MB
0 / 5.0
english, 2017
253
Set Theory: The Third Millenium Edition, Revised and Expanded

Set Theory: The Third Millenium Edition, Revised and Expanded

Thomas Jech
Jahr:
2006
Sprache:
english
Datei:
PDF, 6.86 MB
5.0 / 0
english, 2006
254
悖论、逻辑与非Cantor集合论

悖论、逻辑与非Cantor集合论

张金成
Sprache:
chinese
Datei:
PDF, 19.09 MB
0 / 0
chinese
255
逻辑新引•怎样判别是非（终极修订增补完整本）

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

殷海光
Jahr:
2020
Sprache:
chinese
Datei:
MOBI , 2.68 MB
5.0 / 5.0
chinese, 2020
256
Short Introduction to Intuitionistic Logic

Short Introduction to Intuitionistic Logic

Grigori Mints
Jahr:
2000
Sprache:
english
Datei:
PDF, 13.84 MB
5.0 / 5.0
english, 2000
257
论证的使用

论证的使用

（英）斯蒂芬·图尔敏（Stephen E·Toulmin）
Jahr:
2016
Sprache:
chinese
Datei:
PDF, 61.81 MB
0 / 4.0
chinese, 2016
258
Mathematical Logic

Mathematical Logic

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Jahr:
2021
Sprache:
english
Datei:
PDF, 1.73 MB
5.0 / 5.0
english, 2021
259
Reverse Mathematics: Proofs From the Inside Out

Reverse Mathematics: Proofs From the Inside Out

John Stillwell
Jahr:
2019
Sprache:
english
Datei:
PDF, 3.17 MB
5.0 / 5.0
english, 2019
260
Raciocínio Lógico Simplificado

Raciocínio Lógico Simplificado

Sergio Carvalho, Weber Campos
Jahr:
2010
Sprache:
portuguese
Datei:
PDF, 13.15 MB
0 / 0
portuguese, 2010
262
Model Theory

Model Theory

C.C. Chang and H.J. Keisler (Eds.)
Jahr:
1990
Sprache:
english
Datei:
PDF, 9.13 MB
5.0 / 4.0
english, 1990
263
Учебник логики. Со сборником задач

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

Гетманова А.Д.
Jahr:
2011
Sprache:
russian
Datei:
PDF, 1.73 MB
5.0 / 0
russian, 2011
264
Zermelo Fraenkel Set Theory 001

Zermelo Fraenkel Set Theory 001

H.C. Doets
Sprache:
english
Datei:
PDF, 809 KB
0 / 0
english
266
数学多大点事儿

数学多大点事儿

刘行光 & 高慧 & 沈敏庆
Jahr:
2015
Sprache:
chinese
Datei:
EPUB, 5.88 MB
0 / 0
chinese, 2015
267
Logica e aritmetica

Logica e aritmetica

Gottlob Frege, a cura di Corrado Mangione
Jahr:
1965
Sprache:
italian
Datei:
PDF, 12.09 MB
0 / 0
italian, 1965
268
Foundations of Mathematics and Other Logical Essays

Foundations of Mathematics and Other Logical Essays

Frank Plumpton Ramsey
Jahr:
1931
Sprache:
english
Datei:
EPUB, 1.50 MB
0 / 0
english, 1931
269
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Jahr:
2012
Sprache:
english
Datei:
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
Jahr:
1989
Sprache:
english
Datei:
DJVU, 1.80 MB
5.0 / 4.0
english, 1989
271
Logika: Ilmu Berpikir Kritis

Logika: Ilmu Berpikir Kritis

Dr. Raja Oloan Tumanggor, Carolus Suharyanto, M.Si.
Jahr:
2019
Sprache:
indonesian
Datei:
PDF, 1.90 MB
0 / 0
indonesian, 2019
272
The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

Roman Kossak, Jim Schmerl
Jahr:
2006
Sprache:
english
Datei:
PDF, 1.94 MB
5.0 / 5.0
english, 2006
273
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
Jahr:
2017
Sprache:
french
Datei:
DJVU, 18.95 MB
0 / 0
french, 2017
274
趣味逻辑学

趣味逻辑学

彭漪涟, 余式厚
Jahr:
1981
Sprache:
chinese
Datei:
PDF, 5.69 MB
5.0 / 4.0
chinese, 1981
275
邏輯與思考

邏輯與思考

陳瑞麟（台北：学富文化发行2003年）
Jahr:
2003
Sprache:
chinese
Datei:
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
Jahr:
2013
Sprache:
english
Datei:
EPUB, 173 KB
0 / 0
english, 2013
277
Classical descriptive set theory

Classical descriptive set theory

Alexander S. Kechris
Jahr:
1995
Sprache:
english
Datei:
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
Jahr:
1973
Sprache:
spanish
Datei:
PDF, 5.90 MB
0 / 0
spanish, 1973
279
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Jahr:
2013
Sprache:
chinese
Datei:
EPUB, 745 KB
5.0 / 0
chinese, 2013
280
The GCHQ Puzzle Book

The GCHQ Puzzle Book

Anon [Anon]
Jahr:
2016
Sprache:
english
Datei:
EPUB, 34.34 MB
0 / 3.0
english, 2016
281
THINK LIKE A ROCKET SCIENTIST - The Workbook

THINK LIKE A ROCKET SCIENTIST - The Workbook

Ozan Varol
Jahr:
2019
Sprache:
english
Datei:
PDF, 431 KB
5.0 / 4.5
english, 2019
282
Intuitive Axiomatic Set Theory

Intuitive Axiomatic Set Theory

José Luis García
Jahr:
2024
Sprache:
english
Datei:
PDF, 3.83 MB
0 / 5.0
english, 2024
283
The Moscow puzzles: 359 mathematical recreations

The Moscow puzzles: 359 mathematical recreations

B. A. KordemskiI
Jahr:
1977
Sprache:
english
Datei:
DJVU, 3.94 MB
0 / 0
english, 1977
284
Symbolic Logic

Symbolic Logic

Lewis Carroll (Charles Lutwidge Dodgson)
Jahr:
1977
Sprache:
english
Datei:
DJVU, 4.04 MB
0 / 0
english, 1977
285
Symbolic Logic

Symbolic Logic

Irving M. Copi
Jahr:
1973
Sprache:
english
Datei:
DJVU, 3.78 MB
0 / 0
english, 1973
286
逻辑学的发展

逻辑学的发展

[英]威廉·涅尔、玛莎·涅尔、张家龙、洪汉鼎
Jahr:
1985
Sprache:
chinese
Datei:
PDF, 280.65 MB
0 / 0
chinese, 1985
287
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
Jahr:
2021
Sprache:
chinese
Datei:
EPUB, 715 KB
5.0 / 0
chinese, 2021
288
逻辑学基础 (Logic: The Essentials)

逻辑学基础 (Logic: The Essentials)

[美] 帕特里克. J. 赫尔利, Patrick J. Hurley, 郑伟平, 刘新文译
Jahr:
2017
Sprache:
chinese
Datei:
PDF, 70.79 MB
5.0 / 0
chinese, 2017
289
Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis

Paul J. Cohen
Jahr:
1966
Sprache:
english
Datei:
DJVU, 1.05 MB
3.0 / 5.0
english, 1966
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
Jahr:
1997
Sprache:
english
Datei:
PDF, 2.80 MB
0 / 3.0
english, 1997
291
Intermediate Logic

Intermediate Logic

David Bostock
Jahr:
1997
Sprache:
english
Datei:
PDF, 5.30 MB
0 / 0
english, 1997
292
Introduction to Logic: Propositional Logic, 3rd ed.

Introduction to Logic: Propositional Logic, 3rd ed.

Howard Pospesel, William G. Lycan
Jahr:
1998
Sprache:
english
Datei:
PDF, 32.87 MB
0 / 4.0
english, 1998
293
Kaplan GRE Exam Math Workbook  

Kaplan GRE Exam Math Workbook  

Kaplan
Jahr:
2008
Sprache:
english
Datei:
EPUB, 4.92 MB
0 / 0
english, 2008
294
Elementos de Lógica Simbólica

Elementos de Lógica Simbólica

Telma Barreiro de Nudler, Oscar Nudler
Jahr:
1973
Sprache:
spanish
Datei:
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
Jahr:
1980
Sprache:
english
Datei:
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]
Jahr:
2021
Sprache:
spanish
Datei:
EPUB, 2.80 MB
0 / 0
spanish, 2021
297
Logic: An Introduction

Logic: An Introduction

Greg Restall
Jahr:
2005
Sprache:
english
Datei:
PDF, 1.85 MB
0 / 0
english, 2005
298
逻辑要义

逻辑要义

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

逻辑哲学研究

陈波
Jahr:
2014
Sprache:
chinese
Datei:
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
Jahr:
1989
Sprache:
english
Datei:
DJVU, 1.07 MB
5.0 / 4.0
english, 1989