351
The Development of Logic

The Development of Logic

Kneale, William Calvert, and Martha Kneale
Έτος:
1962
Γλώσσα:
english
Αρχείο:
PDF, 29.25 MB
4.0 / 3.0
english, 1962
352
Formal Logic: Its Scope and Limits

Formal Logic: Its Scope and Limits

Richard C. Jeffrey
Έτος:
1981
Γλώσσα:
english
Αρχείο:
PDF, 8.71 MB
0 / 0
english, 1981
353
El Paraíso de Cantor: La Tradición Conjuntista en la Filosofia Matemática

El Paraíso de Cantor: La Tradición Conjuntista en la Filosofia Matemática

Roberto Torretti
Έτος:
1998
Γλώσσα:
spanish
Αρχείο:
PDF, 2.45 MB
0 / 0
spanish, 1998
354
Raciocínio Lógico Simplificado - Vol II - Teoria, Questões Comentadas e Exercícios

Raciocínio Lógico Simplificado - Vol II - Teoria, Questões Comentadas e Exercícios

Sergio Carvalho, Weber Campos
Έτος:
2010
Γλώσσα:
portuguese
Αρχείο:
PDF, 14.76 MB
0 / 0
portuguese, 2010
355
Notes on Logic and Set Theory

Notes on Logic and Set Theory

P. T. Johnstone
Έτος:
1987
Γλώσσα:
english
Αρχείο:
PDF, 2.25 MB
0 / 0
english, 1987
356
高效论证：美国大学最实用的逻辑训练课

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

大卫•莫罗, 安东尼•韦斯顿
Έτος:
2021
Γλώσσα:
chinese
Αρχείο:
MOBI , 2.62 MB
5.0 / 0
chinese, 2021
357
The Logic Manual: For Introduction to Logic 2008/2009

The Logic Manual: For Introduction to Logic 2008/2009

Volker Halbach
Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 862 KB
0 / 3.5
english, 2008
358
Set Theory and its Philosophy: A Critical Introduction

Set Theory and its Philosophy: A Critical Introduction

Michael Potter
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 1.98 MB
5.0 / 0
english, 2004
359
La matematica dell'infinito: un viaggio ai confini del pensiero matematico

La matematica dell'infinito: un viaggio ai confini del pensiero matematico

Eugenia Cheng
Έτος:
2018
Γλώσσα:
italian
Αρχείο:
EPUB, 3.39 MB
0 / 0
italian, 2018
360
Математическая логика

Математическая логика

Колмогоров А.Н., Драгалин А.Г.
Έτος:
2006
Γλώσσα:
russian
Αρχείο:
DJVU, 3.34 MB
0 / 0
russian, 2006
361
The Logical Foundations of Mathematics

The Logical Foundations of Mathematics

William S. Hatcher
Έτος:
1982
Γλώσσα:
english
Αρχείο:
PDF, 21.15 MB
5.0 / 5.0
english, 1982
362
Four Lives: A Celebration of Raymond Smullyan

Four Lives: A Celebration of Raymond Smullyan

Jason Rosenhouse, Raymond M. Smullyan
Έτος:
2014
Γλώσσα:
english
Αρχείο:
EPUB, 985 KB
0 / 0
english, 2014
363
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry, 2nd

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry, 2nd

Roman Kossak
Έτος:
2024
Γλώσσα:
english
Αρχείο:
PDF, 7.93 MB
0 / 5.0
english, 2024
364
La logique facile

La logique facile

Dennis McInerny
Έτος:
2005
Γλώσσα:
french
Αρχείο:
PDF, 813 KB
4.0 / 0
french, 2005
365
Teoria assiomatica degli insiemi

Teoria assiomatica degli insiemi

Lolli, Gabriele
Έτος:
1974
Γλώσσα:
italian
Αρχείο:
PDF, 8.38 MB
0 / 0
italian, 1974
366
Logique floue, principes, aide à  la décision

Logique floue, principes, aide à  la décision

BOUCHON-MEUNIER Bernadette
Έτος:
2002
Γλώσσα:
french
Αρχείο:
PDF, 3.14 MB
0 / 0
french, 2002
367
Logic for Computer Scientists

Logic for Computer Scientists

Uwe Schöning
Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 9.93 MB
0 / 0
english, 2008
368
Filosofia das Logicas

Filosofia das Logicas

Susan Haack
Γλώσσα:
portuguese
Αρχείο:
PDF, 2.36 MB
0 / 0
portuguese
369
Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic

Petr Hájek, Pavel Pudlák
Έτος:
2017
Γλώσσα:
english
Αρχείο:
PDF, 22.14 MB
0 / 5.0
english, 2017
370
An Invitation to Model Theory

An Invitation to Model Theory

Kirby, Jonathan
Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 2.34 MB
0 / 0
english, 2019
371
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 3.33 MB
5.0 / 4.0
english, 2021
372
Introduction to Logic: Predicate Logic, 2nd ed.

Introduction to Logic: Predicate Logic, 2nd ed.

Howard Pospesel
Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 47.18 MB
0 / 0
english, 2003
373
Introduction à la logique standard

Introduction à la logique standard

Denis Vernant
Έτος:
2011
Γλώσσα:
french
Αρχείο:
PDF, 129.74 MB
0 / 5.0
french, 2011
374
数理逻辑教程

数理逻辑教程

莫绍揆
Έτος:
1982
Γλώσσα:
chinese
Αρχείο:
PDF, 19.95 MB
0 / 4.0
chinese, 1982
375
Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic

Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic

Łukasiewicz, Jan
Έτος:
1957
Γλώσσα:
english
Αρχείο:
PDF, 4.69 MB
0 / 0
english, 1957
376
Lógica y teoría de conjuntos

Lógica y teoría de conjuntos

Carlos Ivorra Castillo
Γλώσσα:
spanish
Αρχείο:
PDF, 2.28 MB
0 / 0
spanish
377
Module 13--Introduction to Number Systems and Logic

Module 13--Introduction to Number Systems and Logic

Naval Education & Training Professional Development & Technology Center
Έτος:
1998
Γλώσσα:
english
Αρχείο:
EPUB, 2.07 MB
0 / 0
english, 1998
378
Il numero. Dalla matematica delle Piramidi all’infinito di Cantor

Il numero. Dalla matematica delle Piramidi all’infinito di Cantor

Midhat Gazalé
Έτος:
2001
Γλώσσα:
italian
Αρχείο:
PDF, 11.41 MB
0 / 0
italian, 2001
379
Introdução à Lógica Elementar

Introdução à Lógica Elementar

Newton Carneiro Affonso da Costa e Rejane Carrion
Έτος:
1988
Γλώσσα:
portuguese
Αρχείο:
PDF, 15.43 MB
0 / 0
portuguese, 1988
380
A Logical Theory of Causality

A Logical Theory of Causality

Alexander Bochman
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 2.82 MB
0 / 0
english, 2021
381
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
Έτος:
2009
Γλώσσα:
english
Αρχείο:
PDF, 24.59 MB
0 / 5.0
english, 2009
382
Proof, Logic and Formalization

Proof, Logic and Formalization

Detlefsen M. (Ed)
Έτος:
1992
Γλώσσα:
english
Αρχείο:
PDF, 1.50 MB
5.0 / 0
english, 1992
383
A Beginner's Guide to Mathematical Logic

A Beginner's Guide to Mathematical Logic

Raymond M. Smullyan
Έτος:
2014
Γλώσσα:
english
Αρχείο:
PDF, 13.30 MB
0 / 5.0
english, 2014
384
In the Light of Logic

In the Light of Logic

Solomon Feferman
Έτος:
1998
Γλώσσα:
english
Αρχείο:
PDF, 20.89 MB
0 / 0
english, 1998
385
The Theory of Logical Types

The Theory of Logical Types

Irving M. Copi
Έτος:
1971
Γλώσσα:
english
Αρχείο:
PDF, 1.43 MB
0 / 0
english, 1971
386
Introduzione alla logica. Linguaggio, significato, argomentazione

Introduzione alla logica. Linguaggio, significato, argomentazione

Cantini, Andrea, Minari, Pierluigi
Έτος:
2009
Γλώσσα:
italian
Αρχείο:
PDF, 29.43 MB
0 / 0
italian, 2009
387
Storia della logica. Da Boole ai nostri giorni

Storia della logica. Da Boole ai nostri giorni

Silvio Bozzi, Corrado Mangione
Έτος:
1993
Γλώσσα:
italian
Αρχείο:
PDF, 11.15 MB
0 / 0
italian, 1993
388
Linguaggi e calcoli. Principi matematici del «coding»

Linguaggi e calcoli. Principi matematici del «coding»

Vincenzo Manca
Έτος:
2019
Γλώσσα:
italian
Αρχείο:
PDF, 1.24 MB
0 / 0
italian, 2019
389
Interpolation and Definability: Modal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay, Larisa Maksimova
Έτος:
2005
Γλώσσα:
english
Αρχείο:
PDF, 6.59 MB
0 / 0
english, 2005
390
The Axiomatic Method: With Special Reference to Geometry and Physics

The Axiomatic Method: With Special Reference to Geometry and Physics

Leon Henkin, Patrick Suppes, Alfred Tarski (eds.)
Έτος:
1959
Γλώσσα:
english
Αρχείο:
PDF, 17.50 MB
0 / 0
english, 1959
391
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
Έτος:
2017
Γλώσσα:
english
Αρχείο:
PDF, 2.78 MB
5.0 / 5.0
english, 2017
392
Adventures in Mathematical Reasoning

Adventures in Mathematical Reasoning

Sherman Stein
Έτος:
2016
Γλώσσα:
english
Αρχείο:
EPUB, 5.93 MB
0 / 0
english, 2016
393
記号論理学講義 基礎理論 束論と圏論 知識論

記号論理学講義 基礎理論 束論と圏論 知識論

清水 義夫
Έτος:
2013
Γλώσσα:
japanese
Αρχείο:
PDF, 51.49 MB
0 / 5.0
japanese, 2013
394
Cours de théorie des modèles : une introduction à la logique mathématique contemporaine

Cours de théorie des modèles : une introduction à la logique mathématique contemporaine

Bruno Poizat
Έτος:
1985
Γλώσσα:
french
Αρχείο:
DJVU, 5.50 MB
0 / 0
french, 1985
395
Complexity, logic, and recursion theory

Complexity, logic, and recursion theory

Sorbi, Andrea
Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 35.29 MB
0 / 0
english, 2019
396
Введение в математическую логику

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

Чёрч А.
Έτος:
1960
Γλώσσα:
russian
Αρχείο:
DJVU, 5.29 MB
0 / 5.0
russian, 1960
397
Beginning Mathematical Logic: A Study Guide

Beginning Mathematical Logic: A Study Guide

Peter Smith
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 1.48 MB
0 / 4.0
english, 2022
398
Логические ошибки. Как они мешают правильно мыслить

Логические ошибки. Как они мешают правильно мыслить

Уемов А.И.
Έτος:
1958
Γλώσσα:
russian
Αρχείο:
PDF, 5.17 MB
0 / 0
russian, 1958
399
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
Έτος:
1994
Γλώσσα:
english
Αρχείο:
DJVU, 4.35 MB
0 / 0
english, 1994
400
論理学入門

論理学入門

丹治信春
Έτος:
2014
Γλώσσα:
japanese
Αρχείο:
PDF, 28.98 MB
0 / 5.0
japanese, 2014