Loading search results...
Preparing this view.
Showing 48 result(s) in Books. Ranked by relevance, with ranking context shown on each result.
Melvin Fitting | 1996
First-Order Logic and Automated Theorem Proving
A. Pampapathy Rao | 1970
Classical theory of first order logic
William Craig | 2006
Semigroups underlying first-order logic
Patrick Kenny | 2021
Does It Follow? a First Course in Logic
1993
A philosophical companion to first-order logic
Melvin Fitting | 1990
First-order logic and automated theorem proving
Melvin Fitting | 1996
First-order logic and automated theorem proving
Unknown Author | 2004
First Course in Logic Gold& Study Card Pkg
Leora Morgenstern | 2018
Preliminary studies for a first order logic of knowledge and action
Nicole Schweikardt | 2002
On the expressive power of first-order logic with built in predicates
Robert Gordon Latham | 1847
First Outlines of Logic, Applied to Grammar and Etymology
Michael L. O'Leary | 2016
First Course in Mathematical Logic and Set Theory
Michael L O Leary | 2016
A First Course In Mathematical Logic And Set Theory
K. Codell Carter | 2004
Solutions to Practice Exercises for a First Course in Logic
Language and Epystemology (1st 2003) Pisa Colloquium in Logic | 2010
First Pisa Colloquium in Logic, Language and Epistomology
Laurie Kelly | 1999
Solutions Manual to a First Course in Fuzzy Logic
R. Dowsing | 1986
A first course in formal logic and its applications in computer science
Laécio Carvalho de Barros | 2018
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics
L J V. Gerard | 1874
The elements of geometry, in eight books; or, First step in applied logic
Rob Mattison | 1969
An introduction to the model theory of first-order predicate logic and a related temporal logic
Beishui Liao | 2021
Logics for New-Generation AI. First International Workshop, 18-20 June 2021, Hangzhou