451
Proof Theory

Proof Theory

Gaisi Takeuti, 竹内 外史
წელი:
1987
ენა:
english
ფაილი:
PDF, 23.91 MB
0 / 0
english, 1987
452
Introducing Logic: A Graphic Guide

Introducing Logic: A Graphic Guide

Dan Cryan, Shatil, Sharron
წელი:
2004
ენა:
english
ფაილი:
PDF, 11.93 MB
5.0 / 5.0
english, 2004
453
Introduction to Formal Logic

Introduction to Formal Logic

Russell Marcus
წელი:
2018
ენა:
english
ფაილი:
PDF, 3.04 MB
0 / 0
english, 2018
454
Lógica

Lógica

John Nolt, Dennis Rohatyn
წელი:
1991
ენა:
portuguese
ფაილი:
DJVU, 5.79 MB
0 / 0
portuguese, 1991
455
Lógica elemental

Lógica elemental

Juan Rivano
წელი:
1999
ენა:
spanish
ფაილი:
PDF, 8.20 MB
5.0 / 0
spanish, 1999
456
¿Cómo se llama este libro?

¿Cómo se llama este libro?

Raymond M. Smullyan
წელი:
1978
ენა:
spanish
ფაილი:
EPUB, 422 KB
0 / 0
spanish, 1978
457
Methods of Logic

Methods of Logic

Willard Van Orman Quine
წელი:
1959
ენა:
english
ფაილი:
DJVU, 5.86 MB
5.0 / 4.0
english, 1959
458
The art of reasoning

The art of reasoning

David Kelley
წელი:
1990
ენა:
english
ფაილი:
PDF, 144.11 MB
5.0 / 0
english, 1990
459
Epiménide le menteur

Epiménide le menteur

Alexandre Koyré
წელი:
1947
ენა:
french
ფაილი:
DJVU, 902 KB
0 / 0
french, 1947
460
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
წელი:
2013
ენა:
chinese
ფაილი:
EPUB, 744 KB
5.0 / 4.0
chinese, 2013
461
Logique moderne

Logique moderne

Jean-Blaise Grize
წელი:
1971
ენა:
french
ფაილი:
PDF, 4.36 MB
0 / 0
french, 1971
462
逻辑学导论 第13版 Introduction to Logic (thirteenth edition)（带书签）

逻辑学导论 第13版 Introduction to Logic (thirteenth edition)（带书签）

欧文·M·柯匹, 卡尔·科恩
წელი:
2014
ენა:
chinese
ფაილი:
PDF, 127.78 MB
5.0 / 4.5
chinese, 2014
463
Logique sans peine

Logique sans peine

Lewis Carroll
წელი:
1966
ენა:
french
ფაილი:
DJVU, 6.81 MB
0 / 0
french, 1966
464
Abstract Algebraic Logic. an Introductory Textbook

Abstract Algebraic Logic. an Introductory Textbook

Font, Josep Maria
წელი:
2016
ენა:
english
ფაილი:
PDF, 53.82 MB
0 / 0
english, 2016
465
[牛津精选]对逻辑的思考：逻辑哲学导论

[牛津精选]对逻辑的思考：逻辑哲学导论

[英]里德
წელი:
1998
ენა:
chinese
ფაილი:
PDF, 7.27 MB
0 / 4.0
chinese, 1998
466
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
წელი:
2021
ენა:
chinese
ფაილი:
EPUB, 716 KB
5.0 / 5.0
chinese, 2021
467
Introduction to Logic

Introduction to Logic

Irving M. Copi, Carl Cohen
წელი:
1990
ენა:
english
ფაილი:
DJVU, 9.56 MB
0 / 0
english, 1990
468
Logiche non classiche. Un’introduzione

Logiche non classiche. Un’introduzione

Dario Palladino, Claudia Palladino
წელი:
2007
ენა:
italian
ფაილი:
PDF, 4.55 MB
5.0 / 5.0
italian, 2007
469
Elementi di Logica Matematica

Elementi di Logica Matematica

Petr Novikov
წელი:
1975
ენა:
italian
ფაილი:
PDF, 7.28 MB
0 / 0
italian, 1975
470
数理逻辑引论（修订版）

数理逻辑引论（修订版）

李涛, 张岩, 刘峰
ენა:
chinese
ფაილი:
PDF, 16.82 MB
0 / 4.5
chinese
471
邏輯思維訓練550題（節選）

邏輯思維訓練550題（節選）

Unknown
ენა:
chinese
ფაილი:
EPUB, 271 KB
0 / 3.5
chinese
472
Matematica e Logica per i Test

Matematica e Logica per i Test

S. Caruso & S. Cavallo & E. Lo Iacono & C. Pistritto
წელი:
2013
ენა:
italian
ფაილი:
EPUB, 8.64 MB
2.0 / 3.0
italian, 2013
473
Введение в математическую логику

Введение в математическую логику

Мендельсон Эллиот
წელი:
1976
ენა:
russian
ფაილი:
PDF, 20.52 MB
0 / 0
russian, 1976
474
Collected Works Volume I Publications 1929 1936 (Oxford University Press, USA)

Collected Works Volume I Publications 1929 1936 (Oxford University Press, USA)

Kurt Godel
ენა:
english
ფაილი:
PDF, 26.18 MB
3.0 / 0
english
475
Introduction to Discrete Mathematics Via Logic and Proof (Solution Manual)

Introduction to Discrete Mathematics Via Logic and Proof (Solution Manual)

Calvin Jongsma
წელი:
2019
ენა:
english
ფაილი:
PDF, 1.71 MB
5.0 / 0
english, 2019
476
Introduction to mathematical logic

Introduction to mathematical logic

Elliott Mendelson
წელი:
2015
ენა:
english
ფაილი:
PDF, 9.99 MB
5.0 / 0
english, 2015
477
Логика. Общее учение о доказательстве

Логика. Общее учение о доказательстве

Поварнин С.И.
ენა:
russian
ფაილი:
PDF, 13.22 MB
0 / 0
russian
478
The Logic of Infinity

The Logic of Infinity

Barnaby Sheppard
წელი:
2014
ენა:
english
ფაილი:
PDF, 8.78 MB
0 / 0
english, 2014
479
Incompletude - A prova e o paradoxo de Kurt Gödel

Incompletude - A prova e o paradoxo de Kurt Gödel

Rebecca Goldstein
წელი:
2008
ენა:
portuguese
ფაილი:
PDF, 3.93 MB
5.0 / 5.0
portuguese, 2008
480
Deviant Logic, Fuzzy Logic: Beyond the Formalism

Deviant Logic, Fuzzy Logic: Beyond the Formalism

Susan Haack
წელი:
1996
ენა:
english
ფაილი:
PDF, 15.42 MB
0 / 0
english, 1996
481
Logic A Complete Introduction (Teach Yourself)

Logic A Complete Introduction (Teach Yourself)

Siu-Fan Lee
ენა:
english
ფაილი:
PDF, 5.61 MB
0 / 0
english
482
On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Gödel, Kurt
წელი:
2012
ენა:
english
ფაილი:
EPUB, 1.56 MB
5.0 / 4.0
english, 2012
483
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
წელი:
2021
ენა:
chinese
ფაილი:
AZW3 , 1.28 MB
5.0 / 2.0
chinese, 2021
484
Mathematical Reasoning, Version 3

Mathematical Reasoning, Version 3

Ted Sundstrom
ენა:
english
ფაილი:
PDF, 5.40 MB
0 / 5.0
english
485
Teoría Intuitiva de los Conjuntos

Teoría Intuitiva de los Conjuntos

Paul R. Halmos
წელი:
1967
ენა:
spanish
ფაილი:
PDF, 30.51 MB
0 / 3.0
spanish, 1967
486
記号論理入門

記号論理入門

前原 昭二
წელი:
2005
ენა:
japanese
ფაილი:
PDF, 26.79 MB
0 / 5.0
japanese, 2005
487
Lógica general

Lógica general

Luis Piscoya Hermosa
წელი:
2001
ენა:
spanish
ფაილი:
PDF, 4.15 MB
0 / 0
spanish, 2001
488
Set Theory and its Philosophy: A Critical Introduction

Set Theory and its Philosophy: A Critical Introduction

Michael Potter
წელი:
2004
ენა:
english
ფაილი:
EPUB, 524 KB
5.0 / 2.0
english, 2004
489
First-Order Logic: A Concise Introduction

First-Order Logic: A Concise Introduction

John Heil
წელი:
2021
ენა:
english
ფაილი:
PDF, 42.81 MB
0 / 5.0
english, 2021
490
心中有数：生活中的数学思维（2022中国好书获奖作品！人人都能看懂的数学书，带你更理性地看待世界！）

心中有数：生活中的数学思维（2022中国好书获奖作品！人人都能看懂的数学书，带你更理性地看待世界！）

刘雪峰-SanQiu.mobi
წელი:
2022
ენა:
chinese
ფაილი:
PDF, 4.97 MB
0 / 0
chinese, 2022
491
An Invitation to Mathematical Logic

An Invitation to Mathematical Logic

David Marker
წელი:
2024
ენა:
english
ფაილი:
PDF, 5.94 MB
0 / 4.5
english, 2024
492
The Concept of Logical Consequence: An Introduction to Philosophical Logic

The Concept of Logical Consequence: An Introduction to Philosophical Logic

Matthew W. McKeon
წელი:
2010
ენა:
english
ფაილი:
PDF, 772 KB
0 / 0
english, 2010
493
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

René Cori, Daniel Lascar, Donald Pelletier
წელი:
2001
ენა:
english
ფაილი:
DJVU, 5.41 MB
0 / 0
english, 2001
494
Écrits logiques et philosophiques

Écrits logiques et philosophiques

Gottlob Frege
წელი:
1971
ენა:
french
ფაილი:
PDF, 2.11 MB
0 / 5.0
french, 1971
495
数理逻辑

数理逻辑

汪芳庭
წელი:
2010
ენა:
chinese
ფაილი:
PDF, 6.50 MB
0 / 5.0
chinese, 2010
496
Ancient Formal Logic

Ancient Formal Logic

Innocentius Marie Bochenski
ენა:
english
ფაილი:
PDF, 3.90 MB
0 / 0
english
497
Model Theory

Model Theory

Maria Manzano, Ruy J. G. B. de Queiroz
წელი:
1999
ენა:
english
ფაილი:
DJVU, 2.16 MB
0 / 0
english, 1999
498
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Piergiorgio Odifreddi
წელი:
1999
ენა:
english
ფაილი:
DJVU, 5.44 MB
0 / 5.0
english, 1999
499
層・圏・トポス——現代的集合像を求めて

層・圏・トポス——現代的集合像を求めて

Gaisi Takeuti, 竹内 外史
წელი:
2010
ენა:
japanese
ფაილი:
PDF, 9.00 MB
0 / 5.0
japanese, 2010
500
Intuitionism: An Introduction

Intuitionism: An Introduction

A. Heyting
წელი:
1956
ენა:
english
ფაილი:
PDF, 1.48 MB
4.0 / 0
english, 1956
გსურთ ძიების მეტი შედეგების ნახვა?
გაიღეთ შემოწირულობა, რომ გახდეთ პრემიუმ ანგარიში