401
Non-standard Analysis

Non-standard Analysis

Abraham Robinson
Jahr:
1974
Sprache:
english
Datei:
PDF, 23.45 MB
0 / 0
english, 1974
402
Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Daniel Cunningham
Jahr:
2023
Sprache:
english
Datei:
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
Jahr:
1984
Sprache:
english
Datei:
DJVU, 3.28 MB
0 / 0
english, 1984
405
线性代数 第五版

线性代数 第五版

同济大学数学系
Jahr:
2023
Sprache:
chinese
Datei:
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
Jahr:
1998
Sprache:
english
Datei:
DJVU, 7.71 MB
0 / 0
english, 1998
407
哥德爾 /Gede’er

哥德爾 /Gede’er

王浩
Jahr:
2002
Sprache:
chinese
Datei:
PDF, 10.42 MB
0 / 0
chinese, 2002
408
Principia Mathematica (Hasta 56)

Principia Mathematica (Hasta 56)

Whitehead Alfred Y Russell Bertrand
Sprache:
spanish
Datei:
PDF, 15.96 MB
5.0 / 0
spanish
409
逻辑新引•怎样判别是非（增补完整本）

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

殷海光
Jahr:
2020
Sprache:
chinese
Datei:
AZW3 , 2.29 MB
5.0 / 5.0
chinese, 2020
410
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
Jahr:
1999
Sprache:
english
Datei:
DJVU, 2.29 MB
0 / 0
english, 1999
411
A Concise Introduction to Logic

A Concise Introduction to Logic

Patrick J. Hurley
Jahr:
2014
Sprache:
english
Datei:
PDF, 45.27 MB
0 / 0
english, 2014
412
Einführung in die Logik

Einführung in die Logik

Ansgar Beckermann
Jahr:
2014
Sprache:
german
Datei:
PDF, 980 KB
0 / 0
german, 2014
413
A System of Logic Ratiocinative and Inductive, Part II

A System of Logic Ratiocinative and Inductive, Part II

John Stuart Mill
Jahr:
1996
Sprache:
english
Datei:
PDF, 8.54 MB
0 / 0
english, 1996
414
The Ultimate Brain-Boosting Toolkit

The Ultimate Brain-Boosting Toolkit

Shireen Stephen
Jahr:
2019
Sprache:
english
Datei:
EPUB, 7.44 MB
5.0 / 5.0
english, 2019
415
An Introduction to Foundational Logic

An Introduction to Foundational Logic

Dennis Q. McInerny
Jahr:
2012
Sprache:
english
Datei:
PDF, 39.62 MB
0 / 0
english, 2012
416
简单的逻辑学

简单的逻辑学

D.Q.麦克伦尼
Jahr:
2013
Sprache:
chinese
Datei:
EPUB, 639 KB
5.0 / 0
chinese, 2013
417
Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni
Jahr:
1997
Sprache:
italian
Datei:
PDF, 909 KB
0 / 0
italian, 1997
418
Matematica Razonamiento Y Aplicaciones

Matematica Razonamiento Y Aplicaciones

Charles D. Miller
Sprache:
spanish
Datei:
PDF, 121.62 MB
0 / 0
spanish
419
Luck, Logic and White Lies. Mathematics of Games

Luck, Logic and White Lies. Mathematics of Games

Jörg Bewersdorff
Jahr:
2004
Sprache:
english
Datei:
PDF, 30.22 MB
0 / 0
english, 2004
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
Jahr:
2021
Sprache:
english
Datei:
PDF, 4.03 MB
0 / 0
english, 2021
421
我的第一本邏輯思考入門

我的第一本邏輯思考入門

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

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

Белнап Н., Стил Т.
Jahr:
1981
Sprache:
russian
Datei:
DJVU, 6.19 MB
0 / 0
russian, 1981
423
Combinatory logic. / Volume II

Combinatory logic. / Volume II

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Jahr:
1972
Sprache:
english
Datei:
PDF, 23.08 MB
0 / 0
english, 1972
424
Introducción a la lógica

Introducción a la lógica

Diógenes Rosales
Jahr:
1994
Sprache:
spanish
Datei:
PDF, 6.63 MB
0 / 0
spanish, 1994
425
数学における証明と真理: 様相論理と数学基礎論

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

佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠
Jahr:
2016
Sprache:
japanese
Datei:
PDF, 17.81 MB
0 / 5.0
japanese, 2016
426
ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

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

田中 一之
Jahr:
2006
Sprache:
japanese
Datei:
PDF, 37.98 MB
5.0 / 5.0
japanese, 2006
427
The calculi of lambda-conversion

The calculi of lambda-conversion

Church, Alonzo
Jahr:
1941
Sprache:
english
Datei:
PDF, 6.56 MB
5.0 / 0
english, 1941
428
Axiomatic Set Theory

Axiomatic Set Theory

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

Abstract Set Theory

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

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

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

La costruzione logica del mondo

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

A first course in logic

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

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

田中 一之
Jahr:
2006
Sprache:
japanese
Datei:
PDF, 40.10 MB
0 / 5.0
japanese, 2006
437
Socratic Logic, Third Edition

Socratic Logic, Third Edition

Peter Kreeft
Jahr:
2010
Sprache:
english
Datei:
PDF, 23.15 MB
5.0 / 0
english, 2010
438
Intensional First-Order Logic: From AI to New SQL Big Data

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

Zoran Majkic
Jahr:
2022
Sprache:
english
Datei:
PDF, 9.43 MB
0 / 4.0
english, 2022
440
Logic For Dummies

Logic For Dummies

Mark Zegarelli
Jahr:
2007
Sprache:
english
Datei:
EPUB, 693 KB
0 / 1.0
english, 2007
441
Mathematical logic

Mathematical logic

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

Introdução à Lógica Matemática

Jacob Zimbarg Sobrinho
Jahr:
1973
Sprache:
portuguese
Datei:
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
Jahr:
2002
Sprache:
english
Datei:
PDF, 1.25 MB
0 / 0
english, 2002
445
Sistemas Formais Inconsistentes

Sistemas Formais Inconsistentes

Newton Carneiro Affonso da Costa
Jahr:
1993
Sprache:
portuguese
Datei:
DJVU, 1.62 MB
0 / 0
portuguese, 1993
446
Elementary Set Theory: Part I

Elementary Set Theory: Part I

Kam-Tim Leung, Doris Lai-Chue Chen
Jahr:
1992
Sprache:
english
Datei:
PDF, 905 KB
0 / 0
english, 1992
447
Proof Theory

Proof Theory

Gaisi Takeuti, 竹内 外史
Jahr:
1987
Sprache:
english
Datei:
PDF, 23.91 MB
0 / 0
english, 1987
448
Mathematical Logic

Mathematical Logic

Joseph R. Shoenfield
Jahr:
1967
Sprache:
english
Datei:
PDF, 8.78 MB
0 / 0
english, 1967
449
Introducing Logic: A Graphic Guide

Introducing Logic: A Graphic Guide

Dan Cryan, Shatil, Sharron
Jahr:
2004
Sprache:
english
Datei:
PDF, 11.93 MB
5.0 / 5.0
english, 2004
450
Учебник логики [Textbook of Logic]

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

Челпанов Георгий Иванович
Sprache:
russian
Datei:
FB2 , 656 KB
0 / 0
russian