Skip to main content

Math Books

Rank Title Author Added

1

Algebraic Combinatorics on Words

12 members

Member: hikimore

2

An Introduction to Non-Harmonic Fourier Series

by Robert M. Young

11 members

Member: hikimore

3

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)

by Adam Chlipala

30 members

4

Member: hikimore

4

Classical Fourier Analysis

by Loukas Grafakos

30 members

Member: hikimore

5

Classical and Multilinear Harmonic Analysis

by Camil Muscalu

13 members

Member: hikimore

6

Combinatorial Algebra: Syntax and Semantics (Springer Monographs in Mathematics)

by Mark V. Sapir

7 members

Member: hikimore

7

Combinatorial Commutative Algebra

28 members

1 review

5

Member: hikimore

8

Combinatorial Species and Tree-like Structures

by François Bergeron

14 members

Member: hikimore

9

Combinatory Logic: Pure, Applied and Typed

by Katalin Bimbó

9 members

Member: hikimore

10

Delay Differential Equations Recent Advances and New Directions

by Balakumar Balachandran

5 members

Member: hikimore

11

Differential and Combinatorial Topology: A Symposium in Honor of Marston Morse

by Stewart S. Cairns

9 members

Member: hikimore

12

Distributed Computing Through Combinatorial Topology

by Maurice Herlihy

14 members

Member: hikimore

13

Elements of Noncommutative Geometry (Birkhäuser Advanced Texts Basler Lehrbücher)

by Joseph C. Varilly

13 members

Member: hikimore

14

Foundations of Combinatorial Topology

by Lev Pontryagin

33 members

Member: hikimore

15

Frames and Locales: Topology without points (Frontiers in Mathematics)

by Jorge Picado

11 members

Member: hikimore

16

Fuzzy algebraic hyperstructures : an introduction

by Bijan Davvaz

4 members

Member: hikimore

17

Handbook of graph grammars and computing by graph transformation Volume 2, Applications, languages and theory

by Grzegorz Rozenberg

13 members

Member: hikimore

18

Handbook of Categorical Algebra: Volume 1, Basic Category Theory

by Francis Borceux

29 members

3

Member: hikimore

19

Handbook of Categorical Algebra: Volume 2, Categories and Structures (Encyclopedia of Mathematics and its Applications) (v. 2)

by Francis Borceux

13 members

Member: hikimore

20

Handbook of Categorical Algebra: Volume 3, Sheaf Theory (Encyclopedia of Mathematics and its Applications)

by Francis Borceux

12 members

Member: hikimore

21

Handbook of Spatial Logics

by Marco Aiello

8 members

Member: hikimore

22

How groups grow

by Avinoam Mann

6 members

Member: hikimore

23

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

by Calvin Jongsma

4 members

Member: hikimore

24

Introduction to Fourier Analysis and Wavelets

by Mark A. Pinsky

9 members

Member: hikimore

25

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

by José L Garciá

2 members

Member: hikimore

26

Intuitive combinatorial topology

by V.G. Boltyanskii

10 members

Member: hikimore

27

Logic in Reality

by Joseph E. Brenner

12 members

3

Member: hikimore

28

Mathematics Form and Function

by Saunders MacLane

87 members

1 review

½ 4.5

Member: hikimore

29

Modern Fourier Analysis

by Loukas Grafakos

17 members

Member: hikimore

30

Polygroup Theory and Related Systems

by Bijan Davvaz

3 members

Member: hikimore

31

by Michael Fielding Barnsley

47 members

1 review

4.1

Member: hikimore

32

The Combinatory Systems Theory Understanding, Modeling and Simulating Collective Phenomena

4 members

Member: hikimore

33

Theory of Matroids (Encyclopedia of Mathematics and its Applications)

14 members

Member: hikimore

34

Type Theory and Formal Proof: An Introduction

by Rob Nederpelt

26 members

Member: hikimore

35

Uncertainty Treatment Using Paraconsistent Logic: Introducing Paraconsistent Artificial Neural Networks (Frontiers in Artificial Intelligence and Applications)

by J.I. da Silva Filho

3 members

Member: hikimore

36

Johan van Benthem on Logic and Information Dynamics

by Alexandru Baltag

13 members

Member: hikimore

37

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (Center for the Study of Language and Information - Lecture Notes)

by Katalin Bimbo

3 members

Member: hikimore

38

Proof Theory for Fuzzy Logics (Applied Logic Series)

by George Metcalfe

9 members

Member: hikimore

39

Kit Fine on Truthmakers, Relevance, and Non-classical Logic (Outstanding Contributions to Logic, 26)

by Federico L. G. Faroldi

8 members

Member: hikimore

40

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (ISSN Book 151)

by Nikolaos Galatos

6 members

Member: hikimore

41

Hiroakira Ono on Substructural Logics (Outstanding Contributions to Logic Book 23)

by Nikolaos Galatos

3 members

Member: hikimore

42

Algebraic Perspectives on Substructural Logics

by Davide Fazio

4 members

Member: hikimore

43

Substructural Logics: A Primer (Trends in Logic)

by Francesco Paoli

4 members

Member: hikimore

44

Extremal Graph Theory (Dover Books on Mathematics)

by Béla Bollobás

35 members

Member: hikimore

45

Graph Theory and Additive Combinatorics: Exploring Structure and Randomness

4 members

Member: hikimore

46

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

by Janusz Czelakowski

3 members

Member: hikimore

47

Towards Paraconsistent Engineering

4 members

Member: hikimore

48

Logic Without Gaps or Gluts: How to Solve the Paradoxes Without Sacrificing Classical Logic: 458 (Synthese Library, 458)

by Benjamin Alan Burgis

3 members

Member: hikimore

49

The Square of Opposition: A Cornerstone of Thought

by Jean-Yves Béziau

6 members

Member: hikimore

50

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning

by Jair Minoro Abe

4 members

Member: hikimore

51

Logical studies of paraconsistent reasoning in science and mathematics

by Holger Andreas

8 members

Member: hikimore

52

Theory of Effective Propositional Paraconsistent Logics

3 members

Member: hikimore

53

New Directions in Relevant Logic (Trends in Logic, 63)

by Igor Sedlár

3 members

Member: hikimore

54

Paraconsistent Logic: Consistency, Contradiction and Negation (Logic, Epistemology, and the Unity of Science Book 40)

by Walter Carnielli

8 members

Member: hikimore

55

Chaotic Logic: Language, Thought, and Reality from the Perspective of Complex Systems Science

by Ben Goertzel

20 members

5

Member: hikimore

About This List

Started: hikimore
March 2025
Type: Numbered and unnumbered, Adding restricted

Current Discussions

None

Related Tags

analysis (5) category theory (4) chaos (4) combinatorics (10) complexity (3) computer science (5) ebook (6) fourier analysis (3) fractals (4) goodreads (5) graph theory (5) harmonic analysis (5) li_3 (4) logic (7) math (54) Mathematics - Harmonic Analysis (4) non-fiction (4) PDF (5) philosophy (10) programming (7) programming languages (3) Springer (4) textbooks (3) to-read (29) wishlist (3)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson