451
Proof Theory

Proof Theory

Gaisi Takeuti, 竹内 外史
Rok:
1987
Język:
english
Plik:
PDF, 23.91 MB
0 / 0
english, 1987
452
Introducing Logic: A Graphic Guide

Introducing Logic: A Graphic Guide

Dan Cryan, Shatil, Sharron
Rok:
2004
Język:
english
Plik:
PDF, 11.93 MB
5.0 / 5.0
english, 2004
453
Introduction to Formal Logic

Introduction to Formal Logic

Russell Marcus
Rok:
2018
Język:
english
Plik:
PDF, 3.04 MB
0 / 0
english, 2018
454
Lógica

Lógica

John Nolt, Dennis Rohatyn
Rok:
1991
Język:
portuguese
Plik:
DJVU, 5.79 MB
0 / 0
portuguese, 1991
455
Lógica elemental

Lógica elemental

Juan Rivano
Rok:
1999
Język:
spanish
Plik:
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
Rok:
1978
Język:
spanish
Plik:
EPUB, 422 KB
0 / 0
spanish, 1978
457
Methods of Logic

Methods of Logic

Willard Van Orman Quine
Rok:
1959
Język:
english
Plik:
DJVU, 5.86 MB
5.0 / 4.0
english, 1959
458
The art of reasoning

The art of reasoning

David Kelley
Rok:
1990
Język:
english
Plik:
PDF, 144.11 MB
5.0 / 0
english, 1990
459
Epiménide le menteur

Epiménide le menteur

Alexandre Koyré
Rok:
1947
Język:
french
Plik:
DJVU, 902 KB
0 / 0
french, 1947
460
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Rok:
2013
Język:
chinese
Plik:
EPUB, 744 KB
5.0 / 4.0
chinese, 2013
461
Logique moderne

Logique moderne

Jean-Blaise Grize
Rok:
1971
Język:
french
Plik:
PDF, 4.36 MB
0 / 0
french, 1971
463
Logique sans peine

Logique sans peine

Lewis Carroll
Rok:
1966
Język:
french
Plik:
DJVU, 6.81 MB
0 / 0
french, 1966
464
Abstract Algebraic Logic. an Introductory Textbook

Abstract Algebraic Logic. an Introductory Textbook

Font, Josep Maria
Rok:
2016
Język:
english
Plik:
PDF, 53.82 MB
0 / 0
english, 2016
465
[牛津精选]对逻辑的思考：逻辑哲学导论

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

[英]里德
Rok:
1998
Język:
chinese
Plik:
PDF, 7.27 MB
0 / 4.0
chinese, 1998
466
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
Rok:
2021
Język:
chinese
Plik:
EPUB, 716 KB
5.0 / 5.0
chinese, 2021
467
Introduction to Logic

Introduction to Logic

Irving M. Copi, Carl Cohen
Rok:
1990
Język:
english
Plik:
DJVU, 9.56 MB
0 / 0
english, 1990
468
Elementi di Logica Matematica

Elementi di Logica Matematica

Petr Novikov
Rok:
1975
Język:
italian
Plik:
PDF, 7.28 MB
0 / 0
italian, 1975
469
Logiche non classiche. Un’introduzione

Logiche non classiche. Un’introduzione

Dario Palladino, Claudia Palladino
Rok:
2007
Język:
italian
Plik:
PDF, 4.55 MB
5.0 / 5.0
italian, 2007
470
数理逻辑引论（修订版）

数理逻辑引论（修订版）

李涛, 张岩, 刘峰
Język:
chinese
Plik:
PDF, 16.82 MB
0 / 4.5
chinese
471
邏輯思維訓練550題（節選）

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

Unknown
Język:
chinese
Plik:
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
Rok:
2013
Język:
italian
Plik:
EPUB, 8.64 MB
2.0 / 3.0
italian, 2013
473
Введение в математическую логику

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

Мендельсон Эллиот
Rok:
1976
Język:
russian
Plik:
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
Język:
english
Plik:
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
Rok:
2019
Język:
english
Plik:
PDF, 1.71 MB
5.0 / 0
english, 2019
476
Introduction to mathematical logic

Introduction to mathematical logic

Elliott Mendelson
Rok:
2015
Język:
english
Plik:
PDF, 9.99 MB
5.0 / 0
english, 2015
477
Логика. Общее учение о доказательстве

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

Поварнин С.И.
Język:
russian
Plik:
PDF, 13.22 MB
0 / 0
russian
478
The Logic of Infinity

The Logic of Infinity

Barnaby Sheppard
Rok:
2014
Język:
english
Plik:
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
Rok:
2008
Język:
portuguese
Plik:
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
Rok:
1996
Język:
english
Plik:
PDF, 15.42 MB
0 / 0
english, 1996
481
Logic A Complete Introduction (Teach Yourself)

Logic A Complete Introduction (Teach Yourself)

Siu-Fan Lee
Język:
english
Plik:
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
Rok:
2012
Język:
english
Plik:
EPUB, 1.56 MB
5.0 / 4.0
english, 2012
483
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
Rok:
2021
Język:
chinese
Plik:
AZW3 , 1.28 MB
5.0 / 2.0
chinese, 2021
484
Mathematical Reasoning, Version 3

Mathematical Reasoning, Version 3

Ted Sundstrom
Język:
english
Plik:
PDF, 5.40 MB
0 / 5.0
english
485
Teoría Intuitiva de los Conjuntos

Teoría Intuitiva de los Conjuntos

Paul R. Halmos
Rok:
1967
Język:
spanish
Plik:
PDF, 30.51 MB
0 / 3.0
spanish, 1967
486
記号論理入門

記号論理入門

前原 昭二
Rok:
2005
Język:
japanese
Plik:
PDF, 26.79 MB
0 / 5.0
japanese, 2005
487
Lógica general

Lógica general

Luis Piscoya Hermosa
Rok:
2001
Język:
spanish
Plik:
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
Rok:
2004
Język:
english
Plik:
EPUB, 524 KB
5.0 / 2.0
english, 2004
489
First-Order Logic: A Concise Introduction

First-Order Logic: A Concise Introduction

John Heil
Rok:
2021
Język:
english
Plik:
PDF, 42.81 MB
0 / 5.0
english, 2021
491
An Invitation to Mathematical Logic

An Invitation to Mathematical Logic

David Marker
Rok:
2024
Język:
english
Plik:
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
Rok:
2010
Język:
english
Plik:
PDF, 772 KB
0 / 0
english, 2010
494
Écrits logiques et philosophiques

Écrits logiques et philosophiques

Gottlob Frege
Rok:
1971
Język:
french
Plik:
PDF, 2.11 MB
0 / 5.0
french, 1971
495
数理逻辑

数理逻辑

汪芳庭
Rok:
2010
Język:
chinese
Plik:
PDF, 6.50 MB
0 / 5.0
chinese, 2010
496
Ancient Formal Logic

Ancient Formal Logic

Innocentius Marie Bochenski
Język:
english
Plik:
PDF, 3.90 MB
0 / 0
english
497
Model Theory

Model Theory

Maria Manzano, Ruy J. G. B. de Queiroz
Rok:
1999
Język:
english
Plik:
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
Rok:
1999
Język:
english
Plik:
DJVU, 5.44 MB
0 / 5.0
english, 1999
499
層・圏・トポス——現代的集合像を求めて

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

Gaisi Takeuti, 竹内 外史
Rok:
2010
Język:
japanese
Plik:
PDF, 9.00 MB
0 / 5.0
japanese, 2010
500
Intuitionism: An Introduction

Intuitionism: An Introduction

A. Heyting
Rok:
1956
Język:
english
Plik:
PDF, 1.48 MB
4.0 / 0
english, 1956
Chcesz zobaczyć więcej wyników wyszukiwania?
Przekaż darowiznę, aby stać się kontem premium