Explore Books on
logic symbolic and mathematic

Understanding Symbolic Logic

By Virginia Klenk,Markosian

Analysis and logic

By C. Ward Henson,José Iovino,Alexander S. Kechris,Edward Odell,A. S. Kechris

Logic Colloquium '99

By Logic Colloquium (1999 Utrecht, Netherlands),Vincent Van Oostrom,Albert Visser,Logic Colloquium,J. Van Eijck

Logic, language, and computation

By Maarten de Rijke,Lawrence Moss

Computability

By Richard L. Epstein,Richard .L. Epstein,Walter Alexandr Carnielli

Problems in set theory, mathematical logic, and the theory of algorithms

By I. A. Lavrov,Igor Lavrov,Larisa Maksimova

Logic Colloquium '01

By Logic Colloquium (2001 Vienna, Austria),Matthias Baaz,Jan Krajicek,Austria) Logic Colloquium (2001 Vienna

Inexhaustibility

By Torkel Franzén,Torkel Franzen,T. Franze

Introduction to symbolic logic

By Karl J. Smith,Ali Smith

A paradigm for program semantics

By Chris Brink,Chris Brink,Ingrid Rewitsky

Principles of knowledge representation and reasoning

By Principles of Knowledge Representation and Reasoning. (3rd 1992 Cambridge, MA),Bernhard Nebel,Charles Rich

Computability

By Richard L. Epstein,Walter A. Carnielli

Logic Colloquium 2000

By Logic Colloquium,Rene Cori,France) Logic Colloquium (2000 Paris

Logic Colloquium '98

By Logic Colloquium (1998 Prague, Czech Republic),Petr Hajek,Pavel Pudlak

Theorem proving with analytic tableaux and related methods

By TABLEAUX '96 (1996 Terrasini, Italy),Italy) Tableaux 9 (1996 Terrasini,P. Miglioli

Orthomodular structures as quantum logics

By Pavel Pták,Pavel Pták,Sylvia Pulmannová

Algorithmic logic

By Grażyna Mirkowska-Salwicka,G. Mirkowska,A. Salwicki

Machinations

By Richard Spencer-Smith,Stephen Torrance

Classical and fuzzy concepts in mathematical logic and applications

By Mircea Reghiș,Mircea S. Reghis,Eugene Roventa

Logic, artificial intelligence and robotics

By Congress of Logic Applied to Technology (2nd 2001 São Paulo, Brazil),Brazil) Congress of Logic Applied to Technology 2001 (Sao Paulo,Joao Inacio Da Silva Filho

Sorts and Types in Artificial Intelligence. Workshop Eringerfeld Frg, April 24-26, 1989. Proceedings. (Lecture Notes in Computer Science)

By K. H. Blasius,U. Hedstuck

Test de lógica e inteligencia

By Araceli Fernández Vivas