Search Workspace

Search workspace

Live catalog48 results

Search Pulse

mathscape sumoreads scripting in java dragon netview warrior princess multivariate statistical methods instant unix class notebook scale development

Results

Showing 48 results in All. 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

First-order logicPer Lindström | 2011

Book

First-order logic

Per Lindström | 2011

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

First-Order LogicRaymond R Smullyan | 1968

Book

First-Order Logic

Raymond R Smullyan | 1968

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

Image source: Open Library

Book

First-order logic

Heil, John. | 1994

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

First Order LogicHeil0867209577 | 1997

Book

First Order Logic

Heil0867209577 | 1997

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 | 1 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

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 | 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

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

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 | 1 views

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

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

Cover for Mathematical logic - 2. edición.

Image source: Open Library

Book

Mathematical logic - 2. edición.

1994

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

Image source: Open Library

Book

Formal logic

Richard C. Jeffrey | 1967

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

Cover for First-Order Programming Theories

Image source: Open Library

Book

First-Order Programming Theories

T. Gergely | 1991

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

Image source: Open Library

Book

Dependence logic

J. Väänänen | 2007

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

Cover for Programming with higher-order logic

Image source: Open Library

Book

Programming with higher-order logic

Dale Miller | 2012

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

Image source: Open Library

Book

Many-dimensional modal logics

2003

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

Image source: Open Library

Book

Sets, logic, and categories

Peter J. Cameron | 1999

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

Graph structure and monadic sec...B. Courcelle | 2012

Book

Graph structure and monadic second-order logic

B. Courcelle | 2012

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

Cover for A short introduction to intuitionistic logic

Image source: Open Library

Book

A short introduction to intuitionistic logic

G. E. Mint︠s︡ | 2000

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

Cover for Functional and Logic Programming

Image source: Open Library

Book

Functional and Logic Programming

2001

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

Cover for Foundations of mathematical logic

Image source: Open Library

Book

Foundations of mathematical logic

Haskell B. Curry | 1977

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

Cover for Introduction to Languages, Machines and Logic

Image source: Open Library

Book

Introduction to Languages, Machines and Logic

Alan P. Parkes | 2002

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

Image source: Open Library

Book

First year algebra

Walter W. Hart | 1957

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

Loading search results...

Preparing this view.