Search Results for Logic.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Material Type: E-Book

+

Subject: Algebraic logic.

Author

Galatos, Nikolaos.

(2)

(1)

Arnold, A. (André), 1945-

(1)

Cooke, Roger, 1942-

(1)

Craig, William, 1918-

(1)

Hailperin, Theodore.

(1)

Lawvere, F. W..

(1)

Munro, Neil, ed.

(1)

Niwiński, Damian.

(1)

Rasiowa, Helena.

(1)

(1)

Schlechta, Karl.

(1)

Tarski, Alfred.

(1)

(1)

Language

(11)

Publication Date

-

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Lattice theory.

(3)

(2)

Algebra -- History.

(1)

Algebra, Boolean.

(1)

Algebra--Data processing.

(1)

Arithmetic -- Foundations.

(1)

Boole, George, 1815-1864.

(1)

Categories (Mathematics)

(1)

Control theory.

(1)

Differential-algebraic equations.

(1)

Electronic books.

(1)

Fixed point theory.

(1)

Laplace transformation.

(1)

Linear programming.

(1)

Linear systems.

(1)

(1)

Machine theory.

(1)

Mathematische Logik.

(1)

Modality (Logic)

(1)

Monotonic functions.

(1)

Nonlinear control theory.

(1)

Nonmonotonic reasoning.

(1)

(1)

(1)

(1)

Robust control.

(1)

(1)

Semantics -- Mathematical models.

(1)

Sliding mode control.

(1)

(1)

THEORIE EQUATIONNELLE.

(1)

Trees (Graph theory).

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

11 Results Found

Subscribe to search results

1

00000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Author

Hailperin, Theodore.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444879523

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Logic in algebraic form Three languages and theories

Logic in algebraic form Three languages and theories

Logic in algebraic form Three languages and theories

Author

Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444104779

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Coherent systems

Coherent systems

Coherent systems

Author

Schlechta, Karl.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444517890

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444506207

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422641

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Ordinal algebras

Ordinal algebras

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533845

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Algebraic Theories A Categorical Introduction to General Algebra

Algebraic Theories A Categorical Introduction to General Algebra

Algebraic Theories A Categorical Introduction to General Algebra

Author

Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Classical algebra its nature, origins, and uses

Classical algebra its nature, origins, and uses

Classical algebra its nature, origins, and uses

Author

Cooke, Roger, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Click here to view book
Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.
John Wiley http://dx.doi.org/10.1002/9780470277980
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Symbolic Methods in Control System Analysis and Design

Symbolic Methods in Control System Analysis and Design

Symbolic Methods in Control System Analysis and Design

Author

Munro, Neil, ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBCE056E

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11