401
論理学入門

論理学入門

丹治信春
Рік:
2014
Мова:
japanese
Файл:
PDF, 28.98 MB
0 / 5.0
japanese, 2014
402
Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Daniel Cunningham
Рік:
2023
Мова:
english
Файл:
PDF, 4.28 MB
5.0 / 5.0
english, 2023
403
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Mauro Di Nasso, Isaac Goldbring, Martino Lupini
Рік:
2019
Мова:
english
Файл:
PDF, 2.38 MB
0 / 5.0
english, 2019
404
Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size

Michael Hallett
Рік:
1984
Мова:
english
Файл:
DJVU, 3.28 MB
0 / 0
english, 1984
405
线性代数 第五版

线性代数 第五版

同济大学数学系
Рік:
2023
Мова:
chinese
Файл:
PDF, 5.90 MB
0 / 3.5
chinese, 2023
406
Logic, logic, and logic

Logic, logic, and logic

George Boolos, John P. Burgess, Richard Jeffrey
Рік:
1998
Мова:
english
Файл:
DJVU, 7.71 MB
0 / 0
english, 1998
407
Strength In Numbers: Discovering the Joy and Power of Mathematics in Everyday Life

Strength In Numbers: Discovering the Joy and Power of Mathematics in Everyday Life

Sherman K. Stein
Рік:
1999
Мова:
english
Файл:
DJVU, 2.29 MB
0 / 0
english, 1999
408
哥德爾 /Gede’er

哥德爾 /Gede’er

王浩
Рік:
2002
Мова:
chinese
Файл:
PDF, 10.42 MB
0 / 0
chinese, 2002
409
Einführung in die Logik

Einführung in die Logik

Ansgar Beckermann
Рік:
2014
Мова:
german
Файл:
PDF, 980 KB
0 / 0
german, 2014
410
Principia Mathematica (Hasta 56)

Principia Mathematica (Hasta 56)

Whitehead Alfred Y Russell Bertrand
Мова:
spanish
Файл:
PDF, 15.96 MB
5.0 / 0
spanish
411
A Concise Introduction to Logic

A Concise Introduction to Logic

Patrick J. Hurley
Рік:
2014
Мова:
english
Файл:
PDF, 45.27 MB
0 / 0
english, 2014
412
逻辑新引•怎样判别是非（增补完整本）

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

殷海光
Рік:
2020
Мова:
chinese
Файл:
AZW3 , 2.29 MB
5.0 / 5.0
chinese, 2020
413
The Ultimate Brain-Boosting Toolkit

The Ultimate Brain-Boosting Toolkit

Shireen Stephen
Рік:
2019
Мова:
english
Файл:
EPUB, 7.44 MB
5.0 / 5.0
english, 2019
414
A System of Logic Ratiocinative and Inductive, Part II

A System of Logic Ratiocinative and Inductive, Part II

John Stuart Mill
Рік:
1996
Мова:
english
Файл:
PDF, 8.54 MB
0 / 0
english, 1996
415
An Introduction to Foundational Logic

An Introduction to Foundational Logic

Dennis Q. McInerny
Рік:
2012
Мова:
english
Файл:
PDF, 39.62 MB
0 / 0
english, 2012
416
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Рік:
2013
Мова:
chinese
Файл:
EPUB, 639 KB
5.0 / 0
chinese, 2013
417
Matematica Razonamiento Y Aplicaciones

Matematica Razonamiento Y Aplicaciones

Charles D. Miller
Мова:
spanish
Файл:
PDF, 121.62 MB
0 / 0
spanish
418
Luck, Logic and White Lies. Mathematics of Games

Luck, Logic and White Lies. Mathematics of Games

Jörg Bewersdorff
Рік:
2004
Мова:
english
Файл:
PDF, 30.22 MB
0 / 0
english, 2004
419
Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni
Рік:
1997
Мова:
italian
Файл:
PDF, 909 KB
0 / 0
italian, 1997
420
Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics

Francesca Boccuni, Andrea Sereni
Рік:
2021
Мова:
english
Файл:
PDF, 4.03 MB
0 / 0
english, 2021
421
我的第一本邏輯思考入門

我的第一本邏輯思考入門

西村克己
Рік:
2020
Мова:
chinese
Файл:
EPUB, 9.51 MB
0 / 0
chinese, 2020
422
Логика вопросов и ответов

Логика вопросов и ответов

Белнап Н., Стил Т.
Рік:
1981
Мова:
russian
Файл:
DJVU, 6.19 MB
0 / 0
russian, 1981
423
数学における証明と真理: 様相論理と数学基礎論

数学における証明と真理: 様相論理と数学基礎論

佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
Рік:
2016
Мова:
japanese
Файл:
PDF, 17.81 MB
0 / 5.0
japanese, 2016
424
Combinatory logic. / Volume II

Combinatory logic. / Volume II

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Рік:
1972
Мова:
english
Файл:
PDF, 23.08 MB
0 / 0
english, 1972
425
Introducción a la lógica

Introducción a la lógica

Diógenes Rosales
Рік:
1994
Мова:
spanish
Файл:
PDF, 6.63 MB
0 / 0
spanish, 1994
426
ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

田中 一之
Рік:
2006
Мова:
japanese
Файл:
PDF, 37.98 MB
5.0 / 5.0
japanese, 2006
427
The calculi of lambda-conversion

The calculi of lambda-conversion

Church, Alonzo
Рік:
1941
Мова:
english
Файл:
PDF, 6.56 MB
5.0 / 0
english, 1941
428
Axiomatic Set Theory

Axiomatic Set Theory

Patrick Suppes
Рік:
1972
Мова:
english
Файл:
PDF, 14.77 MB
0 / 0
english, 1972
429
Logique, volume 1: méthodes pour l'informatique fondamentale

Logique, volume 1: méthodes pour l'informatique fondamentale

Paul Gochet, Pascal Gribomont
Рік:
2000
Мова:
french
Файл:
DJVU, 4.20 MB
0 / 0
french, 2000
430
Abstract Set Theory

Abstract Set Theory

Abraham A. Fraenkel
Рік:
1966
Мова:
english
Файл:
PDF, 9.30 MB
0 / 0
english, 1966
431
ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

田中 一之
Рік:
2007
Мова:
japanese
Файл:
PDF, 44.52 MB
0 / 4.5
japanese, 2007
432
How the other half thinks: adventures in mathematical reasoning

How the other half thinks: adventures in mathematical reasoning

Sherman Stein
Рік:
2001
Мова:
english
Файл:
PDF, 704 KB
0 / 0
english, 2001
433
La costruzione logica del mondo

La costruzione logica del mondo

Rudolf Carnap
Рік:
2012
Мова:
italian
Файл:
EPUB, 2.16 MB
0 / 0
italian, 2012
434
Logique épistémique et philosophie des mathématiques

Logique épistémique et philosophie des mathématiques

Paul Gochet, Philippe de Rouilhan, Collectif
Рік:
2007
Мова:
french
Файл:
DJVU, 1.28 MB
0 / 0
french, 2007
435
A first course in logic

A first course in logic

Mark V. Lawson
Рік:
2019
Мова:
english
Файл:
PDF, 1.97 MB
5.0 / 0
english, 2019
436
ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

田中 一之
Рік:
2006
Мова:
japanese
Файл:
PDF, 40.10 MB
0 / 5.0
japanese, 2006
437
Socratic Logic, Third Edition

Socratic Logic, Third Edition

Peter Kreeft
Рік:
2010
Мова:
english
Файл:
PDF, 23.15 MB
5.0 / 0
english, 2010
438
Intensional First-Order Logic: From AI to New SQL Big Data

Intensional First-Order Logic: From AI to New SQL Big Data

Zoran Majkic
Рік:
2022
Мова:
english
Файл:
PDF, 9.43 MB
0 / 4.0
english, 2022
440
Logic For Dummies

Logic For Dummies

Mark Zegarelli
Рік:
2007
Мова:
english
Файл:
EPUB, 693 KB
0 / 1.0
english, 2007
441
Mathematical logic

Mathematical logic

Ershov Yu. L., Palyutin E. A.
Рік:
1984
Мова:
english
Файл:
DJVU, 4.25 MB
0 / 0
english, 1984
442
Introdução à Lógica Matemática

Introdução à Lógica Matemática

Jacob Zimbarg Sobrinho
Рік:
1973
Мова:
portuguese
Файл:
PDF, 22.18 MB
0 / 0
portuguese, 1973
443
Logic, Computation and Set Theory [published as Logic, Induction and Sets]

Logic, Computation and Set Theory [published as Logic, Induction and Sets]

Thomas Forster
Рік:
2002
Мова:
english
Файл:
PDF, 1.25 MB
0 / 0
english, 2002
444
The Power of Logical Thinking: Easy Lessons in the Art of Reasoning...and Hard Facts About Its Absence in Our Lives

The Power of Logical Thinking: Easy Lessons in the Art of Reasoning...and Hard Facts About Its Absence in Our Lives

Marilyn vos Savant
Рік:
1997
Мова:
english
Файл:
PDF, 9.98 MB
5.0 / 4.0
english, 1997
445
Sistemas Formais Inconsistentes

Sistemas Formais Inconsistentes

Newton Carneiro Affonso da Costa
Рік:
1993
Мова:
portuguese
Файл:
DJVU, 1.62 MB
0 / 0
portuguese, 1993
446
Elementary Set Theory: Part I

Elementary Set Theory: Part I

Kam-Tim Leung, Doris Lai-Chue Chen
Рік:
1992
Мова:
english
Файл:
PDF, 905 KB
0 / 0
english, 1992
447
Proof Theory

Proof Theory

Gaisi Takeuti, 竹内 外史
Рік:
1987
Мова:
english
Файл:
PDF, 23.91 MB
0 / 0
english, 1987
448
Mathematical Logic

Mathematical Logic

Joseph R. Shoenfield
Рік:
1967
Мова:
english
Файл:
PDF, 8.78 MB
0 / 0
english, 1967
449
Учебник логики [Textbook of Logic]

Учебник логики [Textbook of Logic]

Челпанов Георгий Иванович
Мова:
russian
Файл:
FB2 , 656 KB
0 / 0
russian
450
Natural deduction: A proof-theoretical study

Natural deduction: A proof-theoretical study

Dag Prawitz
Рік:
2006
Мова:
english
Файл:
DJVU, 993 KB
0 / 0
english, 2006