401
論理学入門

論理学入門

丹治信春
Anno:
2014
Lingua:
japanese
File:
PDF, 28.98 MB
0 / 5.0
japanese, 2014
402
Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Daniel Cunningham
Anno:
2023
Lingua:
english
File:
PDF, 4.28 MB
5.0 / 5.0
english, 2023
404
Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size

Michael Hallett
Anno:
1984
Lingua:
english
File:
DJVU, 3.28 MB
0 / 0
english, 1984
405
线性代数 第五版

线性代数 第五版

同济大学数学系
Anno:
2023
Lingua:
chinese
File:
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
Anno:
1998
Lingua:
english
File:
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
Anno:
1999
Lingua:
english
File:
DJVU, 2.29 MB
0 / 0
english, 1999
408
哥德爾 /Gede’er

哥德爾 /Gede’er

王浩
Anno:
2002
Lingua:
chinese
File:
PDF, 10.42 MB
0 / 0
chinese, 2002
409
Einführung in die Logik

Einführung in die Logik

Ansgar Beckermann
Anno:
2014
Lingua:
german
File:
PDF, 980 KB
0 / 0
german, 2014
410
Principia Mathematica (Hasta 56)

Principia Mathematica (Hasta 56)

Whitehead Alfred Y Russell Bertrand
Lingua:
spanish
File:
PDF, 15.96 MB
5.0 / 0
spanish
411
A Concise Introduction to Logic

A Concise Introduction to Logic

Patrick J. Hurley
Anno:
2014
Lingua:
english
File:
PDF, 45.27 MB
0 / 0
english, 2014
412
逻辑新引•怎样判别是非（增补完整本）

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

殷海光
Anno:
2020
Lingua:
chinese
File:
AZW3 , 2.29 MB
5.0 / 5.0
chinese, 2020
413
The Ultimate Brain-Boosting Toolkit

The Ultimate Brain-Boosting Toolkit

Shireen Stephen
Anno:
2019
Lingua:
english
File:
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
Anno:
1996
Lingua:
english
File:
PDF, 8.54 MB
0 / 0
english, 1996
415
An Introduction to Foundational Logic

An Introduction to Foundational Logic

Dennis Q. McInerny
Anno:
2012
Lingua:
english
File:
PDF, 39.62 MB
0 / 0
english, 2012
416
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Anno:
2013
Lingua:
chinese
File:
EPUB, 639 KB
5.0 / 0
chinese, 2013
417
Matematica Razonamiento Y Aplicaciones

Matematica Razonamiento Y Aplicaciones

Charles D. Miller
Lingua:
spanish
File:
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
Anno:
2004
Lingua:
english
File:
PDF, 30.22 MB
0 / 0
english, 2004
419
Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni
Anno:
1997
Lingua:
italian
File:
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
Anno:
2021
Lingua:
english
File:
PDF, 4.03 MB
0 / 0
english, 2021
421
我的第一本邏輯思考入門

我的第一本邏輯思考入門

西村克己
Anno:
2020
Lingua:
chinese
File:
EPUB, 9.51 MB
0 / 0
chinese, 2020
422
Логика вопросов и ответов

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

Белнап Н., Стил Т.
Anno:
1981
Lingua:
russian
File:
DJVU, 6.19 MB
0 / 0
russian, 1981
423
数学における証明と真理: 様相論理と数学基礎論

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

佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
Anno:
2016
Lingua:
japanese
File:
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.
Anno:
1972
Lingua:
english
File:
PDF, 23.08 MB
0 / 0
english, 1972
425
Introducción a la lógica

Introducción a la lógica

Diógenes Rosales
Anno:
1994
Lingua:
spanish
File:
PDF, 6.63 MB
0 / 0
spanish, 1994
426
ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

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

田中 一之
Anno:
2006
Lingua:
japanese
File:
PDF, 37.98 MB
5.0 / 5.0
japanese, 2006
427
The calculi of lambda-conversion

The calculi of lambda-conversion

Church, Alonzo
Anno:
1941
Lingua:
english
File:
PDF, 6.56 MB
5.0 / 0
english, 1941
428
Axiomatic Set Theory

Axiomatic Set Theory

Patrick Suppes
Anno:
1972
Lingua:
english
File:
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
Anno:
2000
Lingua:
french
File:
DJVU, 4.20 MB
0 / 0
french, 2000
430
Abstract Set Theory

Abstract Set Theory

Abraham A. Fraenkel
Anno:
1966
Lingua:
english
File:
PDF, 9.30 MB
0 / 0
english, 1966
431
ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

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

田中 一之
Anno:
2007
Lingua:
japanese
File:
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
Anno:
2001
Lingua:
english
File:
PDF, 704 KB
0 / 0
english, 2001
433
La costruzione logica del mondo

La costruzione logica del mondo

Rudolf Carnap
Anno:
2012
Lingua:
italian
File:
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
Anno:
2007
Lingua:
french
File:
DJVU, 1.28 MB
0 / 0
french, 2007
435
A first course in logic

A first course in logic

Mark V. Lawson
Anno:
2019
Lingua:
english
File:
PDF, 1.97 MB
5.0 / 0
english, 2019
436
ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

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

田中 一之
Anno:
2006
Lingua:
japanese
File:
PDF, 40.10 MB
0 / 5.0
japanese, 2006
437
Intensional First-Order Logic: From AI to New SQL Big Data

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

Zoran Majkic
Anno:
2022
Lingua:
english
File:
PDF, 9.43 MB
0 / 4.0
english, 2022
438
Socratic Logic, Third Edition

Socratic Logic, Third Edition

Peter Kreeft
Anno:
2010
Lingua:
english
File:
PDF, 23.15 MB
5.0 / 0
english, 2010
439
Logic For Dummies

Logic For Dummies

Mark Zegarelli
Anno:
2007
Lingua:
english
File:
EPUB, 693 KB
0 / 1.0
english, 2007
441
Mathematical logic

Mathematical logic

Ershov Yu. L., Palyutin E. A.
Anno:
1984
Lingua:
english
File:
DJVU, 4.25 MB
0 / 0
english, 1984
442
Introdução à Lógica Matemática

Introdução à Lógica Matemática

Jacob Zimbarg Sobrinho
Anno:
1973
Lingua:
portuguese
File:
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
Anno:
2002
Lingua:
english
File:
PDF, 1.25 MB
0 / 0
english, 2002
444
Sistemas Formais Inconsistentes

Sistemas Formais Inconsistentes

Newton Carneiro Affonso da Costa
Anno:
1993
Lingua:
portuguese
File:
DJVU, 1.62 MB
0 / 0
portuguese, 1993
445
Elementary Set Theory: Part I

Elementary Set Theory: Part I

Kam-Tim Leung, Doris Lai-Chue Chen
Anno:
1992
Lingua:
english
File:
PDF, 905 KB
0 / 0
english, 1992
446
Mathematical Logic

Mathematical Logic

Joseph R. Shoenfield
Anno:
1967
Lingua:
english
File:
PDF, 8.78 MB
0 / 0
english, 1967
448
Учебник логики [Textbook of Logic]

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

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

Natural deduction: A proof-theoretical study

Dag Prawitz
Anno:
2006
Lingua:
english
File:
DJVU, 993 KB
0 / 0
english, 2006
450
A Survey of Mathematical Logic

A Survey of Mathematical Logic

Hao Wang
Anno:
1963
Lingua:
english
File:
PDF, 36.53 MB
0 / 0
english, 1963