Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 372 citing Introduction to Mathematical Logic, Fourth Edition.

First-order Logic

Raymond M. Smullyan - Mathematics - 1995 - 158 pages
Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ...
Limited preview - About this book

Computational Philosophy of Science

Paul Thagard - Philosophy - 1993 - 240 pages
By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scientific reasoning ...
Limited preview - About this book

The Gödel Programming Language

Patricia Hill, John Wylie Lloyd - Computers - 1994 - 348 pages
Godel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book ...
Limited preview - About this book

Linear orderings

Mathematics - 1982 - 484 pages
Linear orderings
Limited preview - About this book

Foundations of Inductive Logic Programming

Shan-Hwei Nienhuys-Cheng, Ronald de Wolf - Computers - 1997 - 404 pages
The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume. Materials and ...
Limited preview - About this book

Logic in Linguistics

Jens Allwood, Lars-Gunnar Andersson, Osten Dahl - Language Arts & Disciplines - 1977 - 185 pages
An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the ...
Limited preview - About this book

Introduction to Metric and Topological Spaces

Wilson Alexander Sutherland - Science - 1975 - 181 pages
One of the ways in which topology has influenced other branches of mathematics in the past few decades is by putting the study of continuity and convergence into a general ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search