Biblioteca Universității "Dunărea de Jos" Search for 'an:66195'

The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /

By Soifer, Alexander..
.
XLVIII, 841 p. 80 illus., 77 illus. in color. 9781071635971

]]> Place hold on The New Mathematical Coloring Book

Discrete Mathematics A Concise Introduction /

By Tourlakis, George..
.
XVIII, 253 p. 24 illus., 2 illus. in color. 9783031304880

]]> Place hold on Discrete Mathematics

R-Calculus, V: Description Logics

By Li, Wei..
.
XIII, 384 p. 4 illus., 1 illus. in color. 9789819964604

]]> Place hold on R-Calculus, V: Description Logics

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /

.
XI, 137 p. 19 illus., 6 illus. in color. 9783031517778

]]> Place hold on Dynamic Logic. New Trends and Applications

Completely Regular Semigroup Varieties A Comprehensive Study with Modern Insights /

By Petrich, Mario..
.
XIV, 238 p. 47 illus. 9783031428913

]]> Place hold on Completely Regular Semigroup Varieties

Janusz Czelakowski on Logical Consequence

.
X, 470 p. 19 illus., 2 illus. in color. 9783031444906

]]> Place hold on Janusz Czelakowski on Logical Consequence

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /

.
XI, 408 p. 114 illus., 69 illus. in color. 9783031552458

]]> Place hold on Human and Artificial Rationalities

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /

.
XVIII, 269 p. 50 illus., 41 illus. in color. 9783031552489

]]> Place hold on From Computational Logic to Computational Biology

Probability and Statistics for STEM A Course in One Semester /

By Barron, Emmanuel N..
.
XVII, 289 p. 25 illus., 23 illus. in color. 9783031389856

]]> Place hold on Probability and Statistics for STEM

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

.
VI, 424 p. 1 illus. 9783031514067

]]> Place hold on Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /

By Kossak, Roman..
.
XVI, 257 p. 29 illus. 9783031562150

]]> Place hold on Mathematical Logic

An Invitation to Mathematical Logic

By Marker, David..
.
XVIII, 357 p. 7 illus. 9783031553684

]]> Place hold on An Invitation to Mathematical Logic

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /

.
VIII, 299 p. 20 illus., 12 illus. in color. 9783031444616

]]> Place hold on Universal Logic, Ethics, and Truth

Robert Rosen and Relational System Theory: An Overview

By Lennox, James Bryan..
.
X, 148 p. 84 illus., 12 illus. in color. 9783031511165

]]> Place hold on Robert Rosen and Relational System Theory: An Overview

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings /

.
XIV, 402 p. 170 illus., 152 illus. in color. 9789819714179

]]> Place hold on Advances in Brain Inspired Cognitive Systems

Themes from Weir: A Celebration of the Philosophy of Alan Weir

.
XIV, 378 p. 37 illus. 9783031545573

]]> Place hold on Themes from Weir: A Celebration of the Philosophy of Alan Weir

Dick de Jongh on Intuitionistic and Provability Logics

.
X, 384 p. 34 illus., 3 illus. in color. 9783031479212

]]> Place hold on Dick de Jongh on Intuitionistic and Provability Logics

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /

.
IX, 217 p. 38 illus., 13 illus. in color. 9783031664380

]]> Place hold on Coalgebraic Methods in Computer Science

Arbitrary Reference in Logic and Mathematics

By Carrara, Massimiliano..
.
XI, 95 p. 9783031664526

]]> Place hold on Arbitrary Reference in Logic and Mathematics

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /

By Batzoglou, Serafim..
.
XI, 302 p. 13 illus. 9783031642173

]]> Place hold on Introduction to Incompleteness

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /

By Hoffmann, Dirk W..
.
XIX, 385 p. 65 illus., 46 illus. in color. 9783662695500

]]> Place hold on Gödel's Incompleteness Theorems

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /

.
IX, 141 p. 39 illus., 34 illus. in color. 9783031713798

]]> Place hold on Formal Methods Teaching

Quantum Mechanics and Avant-Garde Music Shadows of the Void /

By Abdyssagin, Rakhat-Bi..
.
XXIII, 284 p. 153 illus., 64 illus. in color. 9783031631610

]]> Place hold on Quantum Mechanics and Avant-Garde Music

Saul Kripke on Modal Logic

.
XIII, 437 p. 40 illus., 11 illus. in color. 9783031576355

]]> Place hold on Saul Kripke on Modal Logic

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /

By Viale, Matteo..
.
XIII, 242 p. 2 illus. 9783031716607

]]> Place hold on The Forcing Method in Set Theory

Paradoxes Between Truth and Proof

.
VIII, 299 p. 11 illus. 9783031745270

]]> Place hold on Paradoxes Between Truth and Proof

An Introduction to Naïve Set Theory and Its Applications

By Srivastava, Shashi Mohan..
.
XII, 136 p. 1 illus. 9789819746439

]]> Place hold on An Introduction to Naïve Set Theory and Its Applications

Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /

.
IX, 450 p. 164 illus., 56 illus. in color. 9783031741340

]]> Place hold on Arithmetic and Algebraic Geometry

The Logic, Philosophy, and History of the Lambda-Calculus Theory and Applications /

By Zerpa, Levis..
.
XXXI, 255 p. 10 illus. 9783031728518

]]> Place hold on The Logic, Philosophy, and History of the Lambda-Calculus