Mathematical foundations books

12303 books were found.

Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician
Author: Gerhard Heinzmann , Gereon Wolters ISBN: 9783030658236 Format: Hardback	$145.17
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter... Read More >>

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

An Introduction to Proof Theory: Normalization, Cut-Elimination,...
Author: Paolo Mancosu (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) , Sergio Galvan (Emeritus Professor of Logic, Emeritus Professor of Logic, Catholic University of Milan) ISBN: 9780192895936 Format: Hardback	$248.95
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs... Read More >>

Handbook of Formal Argumentation, Volume 2

Handbook of Formal Argumentation, Volume 2
Author: Dov Gabbay , Massimiliano Giacomin ISBN: 9781848903364 Format: Paperback	$56.93
Read More >>

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte
Author: Reinhard Kahle , Michael Rathjen ISBN: 9783030494261 Format: Paperback	$343.17
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte... Read More >>

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Proof And Computation Ii: From Proof Theory And Univalent...
Author: Klaus Mainzer (Technische Univ Munchen, Germany) , Helmut Schwichtenberg (Ludwig Maximilians Univ Munchen, Germany) ISBN: 9789811236471 Format: Hardback	$390.72
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer... Read More >>

Top-Down Causation and Emergence

Top-Down Causation and Emergence
Author: Jan Voosholz , Markus Gabriel ISBN: 9783030718985 Format: Hardback	$422.37
The chapters combine to form a unique, interdisciplinary perspective, drawing upon George Ellis's extensive research... Read More >>

Sparse Estimation with Math and R: 100 Exercises for Building Logic

Sparse Estimation with Math and R: 100 Exercises for...
Author: Joe Suzuki ISBN: 9789811614453 Format: Paperback	$77.60
The most crucial ability for machine learning and data science is mathematical logic for grasping their essence... Read More >>

Statistical Learning with Math and Python: 100 Exercises for Building Logic

Statistical Learning with Math and Python: 100 Exercises...
Author: Joe Suzuki ISBN: 9789811578762 Format: Paperback	$77.60
This textbook approaches the essence of machine learning and data science by considering math problems and building... Read More >>

Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise: Für begabte Schülerinnen und Schüler in der Unterstufe

Mathematische Geschichten III – Eulerscher Polyedersatz,...
Author: Susanne Schindler-Tschirner , Werner Schindler ISBN: 9783658336684 Format: Paperback	$47.49
Read More >>

Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, Issue 7: August 2021

Journal of Applied Logics - IfCoLog Journal of Logics...
Author: Dov Gabbay ISBN: 9781848903746 Format: Paperback	$42.69
Read More >>

Maximum Activity 9x9 Sudoku easy to medium: Beginner Sudoku with solutions, Easy Sudoku puzzle book, 480 puzzles, Free BONUS inside

Maximum Activity 9x9 Sudoku easy to medium: Beginner...
Author: Sylvester Moore ISBN: 9786069612101 Format: Paperback	$34.13
"New Sudoku puzzles divided evenly in categories from easy to medium. Includes 480 Sudoku puzzles with solutions:... Read More >>

Math For Third Graders: Over 150+ Practice Math Activities Help Kids Sharpen Their Mind And Succeed.

Math For Third Graders: Over 150+ Practice Math Activities...
Author: Linda Steele , Melanie Dean ISBN: 9798473680294 Format: Paperback	$39.57
Read More >>

Symbolic Logic

Symbolic Logic
Author: John Venn ISBN: 9783348058810 Format: Paperback	$95.48
Read More >>

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical...
Author: Ofer Arieli , Anna Zamansky ISBN: 9783030712570 Format: Hardback	$422.37
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory... Read More >>

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based...
Author: Yamine Ait-Ameur , Shin Nakajima ISBN: 9789811550560 Format: Paperback	$287.76
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression... Read More >>

Number Coloring Book For Kids Ages 1-3: Educational Activity Coloring Book For Children With Fun.

Number Coloring Book For Kids Ages 1-3: Educational...
Author: Rakib Book House ISBN: 9798471496804 Format: Paperback	$18.45
Read More >>

The Logica Yearbook 2020

The Logica Yearbook 2020
Author: Martin Blicha , Igor Sedlár ISBN: 9781848903760 Format: Paperback	$33.64
Read More >>

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?: Gödel's Shorthand...
Author: Jan von Plato ISBN: 9783030508784 Format: Paperback	$129.35
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century... Read More >>

Rationell aritmetik och algebrans grunder: "Portfölj III(a)-(b) av ""Den första matematiken"""

Rationell aritmetik och algebrans grunder: "Portfölj...
Author: Tomas Malm , Didymos Bokförlag ISBN: 9789198476897 Format: Paperback	$64.43
Read More >>

Universal Algebraic Logic: Dedicated to the Unity of Science

Universal Algebraic Logic: Dedicated to the Unity of...
Author: Hajnal Andréka , István Németi ISBN: 9783764385057 Format: Paperback	$211.07
It also discusses algebraic logic proper including algebras of... Read More >>

Carrollian Notes

Carrollian Notes
Author: George Englebretsen ISBN: 9781848903753 Format: Paperback	$28.46
Read More >>

Pythagorean Fuzzy Sets: Theory and Applications

Pythagorean Fuzzy Sets: Theory and Applications
Author: Harish Garg ISBN: 9789811619885 Format: Hardback	$369.57
This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic... Read More >>

Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint

Foundations of Finitely Supported Structures: A Set...
Author: Andrei Alexandru , Gabriel Ciobanu ISBN: 9783030529642 Format: Paperback	$290.37
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported... Read More >>

(Co)end Calculus

(Co)end Calculus
Author: Fosco Loregian ISBN: 9781108746120 Format: Paperback	$150.05
This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus, a powerful tool for clarifying... Read More >>

Einführung in die Mengenlehre

Einführung in die Mengenlehre
Author: Heinz-Dieter Ebbinghaus ISBN: 9783662638651 Format: Paperback	$92.37
Read More >>

Page 45 of 493 ... 40 41 42 43 44 45 46 47 48 49 ...

Sub Categories for

Mathematical foundations

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now