1-24 of 59 Books

What is the name of this book?
By Raymond M. Smullyan

Motivic integration and its interactions with model theory and non-Archimedean geometry
By Raf Cluckers

Finite and algorithmic model theory
By Javier Esparza

Limit theorems and applications of set-valued and fuzzy set-valued random variables
By Shoumei Li,Y. Ogura,V. Kreinovich
Monoidal Topology
Monoidal Topology
By Dirk Hofmann,Gavin J. Seal,Walter Tholen

Finite model theory
By Heinz-Dieter Ebbinghaus,Jörg Flum

Kurt Gödel and the foundations of mathematics
By Matthias Baaz

Coherence In Threedimensional Category Theory
By Nick Gurski
Formal languages in logic
Formal languages in logic
By Catarina Dutilh Novaes

Reasoning skills success in 20 minutes a day
By Elizabeth L. Chesla,Elizabeth Chelsa,Elizabeth Chesla
Logic in elementary mathematics
Logic in elementary mathematics
By Robert M. Exner

Quantifiers, propositions, and identity
By Robert Goldblatt

Problems in set theory, mathematical logic, and the theory of algorithms
By I. A. Lavrov,Igor Lavrov,Larisa Maksimova

Algorithms
By Uspenskiĭ, V. A.,Vladimir Uspensky,A.L. Semenov

Four Lives
By Jason Rosenhouse,Raymond M. Smullyan

Mathematics of fuzzy sets
By Ulrich Höhle,S.E. Rodabaugh

Constructive models
By I͡Uriĭ Leonidovich Ershov,Yuri L. Ershov,Sergei S. Goncharov
Elements of Logical Reasoning
Elements of Logical Reasoning
By Jan von Plato

Traffic control and transport planning
By D. Teodorović,Dusan Teodorovic,Katarina Vukadinovic

Algebraic foundations of many-valued reasoning
By Roberto Cignoli,R.L. Cignoli,I.M. d'Ottaviano,Daniele Mundici