301
Logic, Language, and Meaning: Introduction to Logic, Vol. 1

Logic, Language, and Meaning: Introduction to Logic, Vol. 1

Gamut L.T.F.
Έτος:
1991
Γλώσσα:
english
Αρχείο:
DJVU, 2.23 MB
5.0 / 4.0
english, 1991
302
Basic Set Theory

Basic Set Theory

Azriel Levy
Έτος:
1979
Γλώσσα:
english
Αρχείο:
PDF, 10.99 MB
0 / 0
english, 1979
303
Einführung in die Logik

Einführung in die Logik

Sven Rosenkranz (auth.)
Έτος:
2006
Γλώσσα:
german
Αρχείο:
PDF, 1.00 MB
5.0 / 0
german, 2006
304
Logic in Elementary Mathematics

Logic in Elementary Mathematics

Robert M. Exner, Myron F. Rosskopf
Έτος:
2011
Γλώσσα:
english
Αρχείο:
EPUB, 12.56 MB
0 / 0
english, 2011
305
数理逻辑引论与归结原理

数理逻辑引论与归结原理

王国俊
Έτος:
2003
Γλώσσα:
chinese
Αρχείο:
PDF, 5.28 MB
0 / 0
chinese, 2003
306
Frege's lectures on logic: Carnap's student notes, 1910-1914

Frege's lectures on logic: Carnap's student notes, 1910-1914

Gottlob Frege, Rudolf Carnap, Steve Awodey, Erich Rech, Gottfried Gabriel
Έτος:
2004
Γλώσσα:
english
Αρχείο:
DJVU, 2.08 MB
5.0 / 0
english, 2004
307
Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Stefania Centrone, Klaus Mainzer
Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 9.26 MB
5.0 / 0
english, 2023
308
LSAT For Dummies

LSAT For Dummies

Scott A. Hatch [Hatch, Lisa Zimmer & Hatch, Scott A.]
Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 8.39 MB
0 / 5.0
english, 2021
309
Logic for Computer Science: Foundations of Automatic Theorem Proving

Logic for Computer Science: Foundations of Automatic Theorem Proving

Jean H. Gallier
Έτος:
2015
Γλώσσα:
english
Αρχείο:
EPUB, 64.24 MB
0 / 5.0
english, 2015
310
Introduction à la logique

Introduction à la logique

André Delessert
Έτος:
1988
Γλώσσα:
french
Αρχείο:
DJVU, 1.47 MB
0 / 0
french, 1988
311
Modern Logic: A Text in Elementary Symbolic Logic

Modern Logic: A Text in Elementary Symbolic Logic

Graeme Forbes
Έτος:
1994
Γλώσσα:
english
Αρχείο:
PDF, 47.81 MB
0 / 0
english, 1994
312
Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

René David, Karim Nour, Christophe Raffalli, Pierre-Louis Curien
Έτος:
2004
Γλώσσα:
french
Αρχείο:
EPUB, 49.48 MB
5.0 / 0
french, 2004
313
Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Gilles Dowek
Έτος:
2010
Γλώσσα:
french
Αρχείο:
DJVU, 1.50 MB
0 / 0
french, 2010
314
A Course in Mathematical Logic

A Course in Mathematical Logic

Yu. I. Manin
Έτος:
1977
Γλώσσα:
english
Αρχείο:
DJVU, 4.37 MB
0 / 0
english, 1977
315
証明の読み方・考え方: 数学的思考過程への手引

証明の読み方・考え方: 数学的思考過程への手引

Daniel Solow, ダニエル・ソロー, 安藤 四郎
Έτος:
1985
Γλώσσα:
japanese
Αρχείο:
PDF, 40.17 MB
0 / 0
japanese, 1985
316
公理集合论导引

公理集合论导引

张锦文
Έτος:
1991
Γλώσσα:
chinese
Αρχείο:
PDF, 4.16 MB
0 / 0
chinese, 1991
317
Les mathématiques et la logique

Les mathématiques et la logique

Poincaré Henri
Γλώσσα:
french
Αρχείο:
DJVU, 361 KB
0 / 0
french
318
Historia de la Lógica Formal

Historia de la Lógica Formal

Józef M. Bochenski, Edición española de Millán Bravo Lozano.
Έτος:
1985
Γλώσσα:
spanish
Αρχείο:
PDF, 36.81 MB
0 / 0
spanish, 1985
319
How Do We Reason?: An Introduction to Logic

How Do We Reason?: An Introduction to Logic

Forrest E. Baird
Έτος:
2021
Γλώσσα:
english
Αρχείο:
EPUB, 7.59 MB
5.0 / 0
english, 2021
320
Principia Mathematica

Principia Mathematica

Alfred North Whitehead, Bertrand Russell
Έτος:
1927
Γλώσσα:
english
Αρχείο:
DJVU, 9.95 MB
0 / 0
english, 1927
321
Elementos de Teoria Paraconsistente de Conjuntos

Elementos de Teoria Paraconsistente de Conjuntos

Newton Carneiro Affonso da Costa, Jean-Yves Béziau, Otávio Bueno
Έτος:
1998
Γλώσσα:
portuguese
Αρχείο:
DJVU, 4.17 MB
0 / 0
portuguese, 1998
322
The Logic of Number

The Logic of Number

Neil Tennant
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 7.96 MB
5.0 / 5.0
english, 2022
323
The Logic of Provability

The Logic of Provability

George S. Boolos
Έτος:
1995
Γλώσσα:
english
Αρχείο:
PDF, 2.64 MB
5.0 / 0
english, 1995
324
El Fracaso de las paradojas

El Fracaso de las paradojas

Irina Lvovna Radunskaya, Ирина Львовна Радунская
Έτος:
1975
Γλώσσα:
spanish
Αρχείο:
DJVU, 3.72 MB
5.0 / 0
spanish, 1975
325
Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Yiannis N. Moschovakis
Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 1010 KB
0 / 0
english, 2019
326
A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Cyrus F. Nourani
Έτος:
2016
Γλώσσα:
english
Αρχείο:
PDF, 1.64 MB
0 / 0
english, 2016
327
符号逻辑讲义

符号逻辑讲义

徐明
Έτος:
2008
Γλώσσα:
chinese
Αρχείο:
PDF, 38.37 MB
5.0 / 5.0
chinese, 2008
328
How to Think Logically

How to Think Logically

Gary Seay, Susana Nuccetelli
Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 18.30 MB
0 / 5.0
english, 2008
329
Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study

Dag Prawitz
Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 3.75 MB
4.0 / 0
english, 2006
331
Beginning Logic

Beginning Logic

E. J. Lemmon, Georce W. D. Berry (ed.)
Έτος:
1978
Γλώσσα:
english
Αρχείο:
PDF, 71.56 MB
0 / 0
english, 1978
332
An Introduction To Traditional Logic: Classical Reasoning For Contemporary Minds

An Introduction To Traditional Logic: Classical Reasoning For Contemporary Minds

Scott M. Sullivan
Έτος:
2005
Γλώσσα:
english
Αρχείο:
EPUB, 3.34 MB
5.0 / 5.0
english, 2005
333
Introduction pratique aux logiques non classiques

Introduction pratique aux logiques non classiques

Maurice Bernadet
Έτος:
2011
Γλώσσα:
french
Αρχείο:
PDF, 1.39 MB
0 / 0
french, 2011
334
逻辑与哲学：现代逻辑导论（第9版）

逻辑与哲学：现代逻辑导论（第9版）

（美）保罗·蒂德曼；（美）霍华德·卡哈尼著
Έτος:
2017
Γλώσσα:
chinese
Αρχείο:
PDF, 108.12 MB
0 / 4.0
chinese, 2017
335
A Beginner's Further Guide to Mathematical Logic

A Beginner's Further Guide to Mathematical Logic

Raymond M. Smullyan
Έτος:
2016
Γλώσσα:
english
Αρχείο:
PDF, 3.92 MB
0 / 0
english, 2016
336
First Order Mathematical Logic

First Order Mathematical Logic

Angelo Margaris
Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 1.52 MB
0 / 0
english, 1990
337
Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Peter Ludlow, Sašo Živanović
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 3.42 MB
0 / 0
english, 2022
338
逻辑新引-怎样判别是非

逻辑新引-怎样判别是非

殷海光
Έτος:
2020
Γλώσσα:
chinese
Αρχείο:
EPUB, 2.24 MB
5.0 / 5.0
chinese, 2020
339
Principia Mathematica volumes 1, 2, and 3

Principia Mathematica volumes 1, 2, and 3

Alfred North Whitehead, Bertrand Russell
Έτος:
1963
Γλώσσα:
english
Αρχείο:
PDF, 68.31 MB
0 / 3.5
english, 1963
340
Logica matematica. Strutture, rappresentazioni, deduzioni

Logica matematica. Strutture, rappresentazioni, deduzioni

Vincenzo Manca
Έτος:
2001
Γλώσσα:
italian
Αρχείο:
PDF, 170.40 MB
0 / 0
italian, 2001
341
递归论

递归论

莫绍揆
Έτος:
1987
Γλώσσα:
chinese
Αρχείο:
PDF, 9.57 MB
5.0 / 4.0
chinese, 1987
342
Philosophy and Logic of Quantum Physics: An Investigation of the Metaphysical and Logical Implications of Quantum Physics

Philosophy and Logic of Quantum Physics: An Investigation of the Metaphysical and Logical Implications of Quantum Physics

Jan Philipp Dapprich, Annika Schuster
Έτος:
2016
Γλώσσα:
english
Αρχείο:
PDF, 1.85 MB
0 / 0
english, 2016
343
Begriffsschrift (English)

Begriffsschrift (English)

Gottlob Frege
Γλώσσα:
english
Αρχείο:
PDF, 2.59 MB
0 / 0
english
344
Dagli insiemi ai numeri

Dagli insiemi ai numeri

Gabriele Lolli
Έτος:
1994
Γλώσσα:
italian
Αρχείο:
PDF, 1.96 MB
0 / 0
italian, 1994
345
The Mathematical Analysis of Logic

The Mathematical Analysis of Logic

George Boole
Γλώσσα:
english
Αρχείο:
PDF, 6.66 MB
0 / 0
english
346
La Logique

La Logique

Jean Largeault
Έτος:
1998
Γλώσσα:
french
Αρχείο:
DJVU, 1.58 MB
0 / 0
french, 1998
347
为什么：关于因果关系的新科学

为什么：关于因果关系的新科学

朱迪亚·珀尔 达纳·麦肯齐
Έτος:
2019
Γλώσσα:
chinese
Αρχείο:
EPUB, 4.62 MB
5.0 / 5.0
chinese, 2019
348
The Elements of Logic

The Elements of Logic

Barker, Stephen Francis
Έτος:
1974
Γλώσσα:
english
Αρχείο:
PDF, 47.75 MB
0 / 2.0
english, 1974
349
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Έτος:
2013
Γλώσσα:
chinese
Αρχείο:
EPUB, 693 KB
5.0 / 3.0
chinese, 2013
350
逻辑新引•怎样判别是非（增补完整本）

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

殷海光
Έτος:
2020
Γλώσσα:
chinese
Αρχείο:
EPUB, 1.90 MB
5.0 / 0
chinese, 2020