Search Workspace

Search workspace

Live catalog38 results

Search Pulse

sumoreads dragon code-switching mastering computer programming scripting in java warrior princess mathscape netview modal testing multivariate statistical methods

Results

Showing 38 results in Books. Ranked by relevance, with ranking context shown on each result.

Image source: Open Library

BookBest match

First-Order Logic

Raymond M. Smullyan | 2012

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

First-order logic

Leigh S. Cauman | 1998

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

First-Order Logic

John Heil | 2021

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

First-order logic

Heil, John. | 1994

0 favorites | 0 comments | 0 list adds | 0 views | cover

First-order logicPer Lindström | 2011

Book

First-order logic

Per Lindström | 2011

0 favorites | 0 comments | 0 list adds | 0 views

First Order LogicHeil0867209577 | 1997

Book

First Order Logic

Heil0867209577 | 1997

0 favorites | 0 comments | 0 list adds | 0 views

First-Order LogicRaymond R Smullyan | 1968

Book

First-Order Logic

Raymond R Smullyan | 1968

0 favorites | 0 comments | 0 list adds | 0 views

Cover for First-Order Logic and Automated Theorem Proving

Image source: Open Library

Book

First-Order Logic and Automated Theorem Proving

Melvin Fitting | 1996

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

First-order logic revisited

2004

0 favorites | 0 comments | 0 list adds | 1 views | cover

Classical First-Order LogicStewart Shapiro | 2022

Book

Classical First-Order Logic

Stewart Shapiro | 2022

0 favorites | 0 comments | 0 list adds | 1 views

Fragments of First-Order LogicIan Pratt-Hartmann | 2022

Book

Fragments of First-Order Logic

Ian Pratt-Hartmann | 2022

0 favorites | 0 comments | 0 list adds | 1 views

Intensional First-Order LogicZoran Majkic | 2022

Book

Intensional First-Order Logic

Zoran Majkic | 2022

0 favorites | 0 comments | 0 list adds | 0 views

Cover for Extensions of first order logic

Image source: Open Library

Book

Extensions of first order logic

María Manzano | 1996

0 favorites | 0 comments | 0 list adds | 0 views | cover

Image source: Open Library

Book

First-order modal logic

Melvin Fitting | 1998

0 favorites | 0 comments | 0 list adds | 0 views | cover

Cover for The language of first-order logic

Image source: Open Library

Book

The language of first-order logic

Jon Barwise | 1992

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

The language of first-order logic

Barwise, Jon. | 1993

0 favorites | 0 comments | 0 list adds | 0 views | cover

Image source: Open Library

Book

First-Order Dynamic Logic

D. Harel | 1979

0 favorites | 0 comments | 0 list adds | 1 views | cover

First-order dynamic logicDavid Harel | 1979

Book

First-order dynamic logic

David Harel | 1979

0 favorites | 0 comments | 0 list adds | 1 views

Classical theory of first order...A. Pampapathy Rao | 1970

Book

Classical theory of first order logic

A. Pampapathy Rao | 1970

0 favorites | 0 comments | 0 list adds | 1 views

Cover for Modelling Puzzles in First Order Logic

Image source: Open Library

Book

Modelling Puzzles in First Order Logic

Adrian Groza | 2021

0 favorites | 0 comments | 0 list adds | 1 views | cover

Semigroups underlying first-ord...William Craig | 2006

Book

Semigroups underlying first-order logic

William Craig | 2006

0 favorites | 0 comments | 0 list adds | 0 views

Image source: Open Library

Book

First Order Categorical Logic

Michael Makkai | 1977

0 favorites | 0 comments | 0 list adds | 1 views | cover

First Order Categorical LogicM. Makkai | 2006

Book

First Order Categorical Logic

M. Makkai | 2006

0 favorites | 0 comments | 0 list adds | 1 views

Cover for Duality and definability in first order logic

Image source: Open Library

Book

Duality and definability in first order logic

Michael Makkai | 1993

0 favorites | 0 comments | 0 list adds | 0 views | cover

Image source: Open Library

Book

First order categorical logic

Michael Makkai | 1977

0 favorites | 0 comments | 0 list adds | 0 views | cover

Cover for First order mathematical logic

Image source: Open Library

Book

First order mathematical logic

Angelo Margaris | 1990

0 favorites | 0 comments | 0 list adds | 0 views | cover

Cover for A philosophical companion to first-order logic

Image source: Open Library

Book

A philosophical companion to first-order logic

1993

0 favorites | 0 comments | 0 list adds | 1 views | cover

Image source: Open Library

Book

First-order logic and automated theorem proving

Melvin Fitting | 1990

0 favorites | 0 comments | 0 list adds | 1 views | cover

On the theory of definability i...Veikko Rantala | 1973

Book

On the theory of definability in first-order logic

Veikko Rantala | 1973

0 favorites | 0 comments | 0 list adds | 0 views

First-Order Logic and Automated...Melvin Fitting | 1990

Book

First-Order Logic and Automated Theorem Proving

Melvin Fitting | 1990

0 favorites | 0 comments | 0 list adds | 0 views

Cover for Preliminary Studies for a First Order Logic of Knowledge and Action

Image source: Open Library

Book

Preliminary Studies for a First Order Logic of Knowledge and Action

Leora Morgenstern | 2018

0 favorites | 0 comments | 0 list adds | 1 views | cover

Cover for On the expressive power of first-order logic with built in predicates

Image source: Open Library

Book

On the expressive power of first-order logic with built in predicates

Nicole Schweikardt | 2002

0 favorites | 0 comments | 0 list adds | 1 views | cover

Cover for Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)

Image source: Open Library

Book

Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)

Maria Manzano | 2005

0 favorites | 0 comments | 0 list adds | 0 views | cover

An introduction to the model th...Rob Mattison | 1969

Book

An introduction to the model theory of first-order predicate logic and a related temporal logic

Rob Mattison | 1969

0 favorites | 0 comments | 0 list adds | 0 views

An introduction to the model th...Robert Mattison | 1968

Book

An introduction to the model theory of first-order predicate logic and a related temporal logic.

Robert Mattison | 1968

An introduction to the model theory of first-order predicate logic and a related temporal logic

0 favorites | 0 comments | 0 list adds | 0 views

Cover for Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Image source: Open Library

Book

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Petr Hajek | 1998

Metamathematics of first-order arithmetic

0 favorites | 0 comments | 0 list adds | 1 views | cover

A discussion of the nature of s...Jnansaran Chakrabarti | 1910

Book

A discussion of the nature of solutions of differential equations of the first order leading to a theory of singular solutions which presents the singular solution as derived in the course of natural and logical study of the complete primitive with analogies and contrasts between differential and difference equations

Jnansaran Chakrabarti | 1910

A discussion of the nature of solutions of differential equations of the first order leading to a theory of singular solutions which presen...

0 favorites | 0 comments | 0 list adds | 0 views

Two Letters Of Advice, I. For t...Henry Dodwell | 1691

Book

Two Letters Of Advice, I. For the Susception of Holy Orders. II. For Studies Theo- logical, especially such as are Rational. At the end of the former, is inserted, a Catalogue of the Christian Writers and Genuine Works that are extant of the First Three Centuries

Henry Dodwell | 1691

Two Letters Of Advice, I. For the Susception of Holy Orders. II. For Studies Theo- logical, especially such as are Rational. At the end of...

0 favorites | 0 comments | 0 list adds | 0 views

Loading search results...

Preparing this view.