Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Material Type: Open Access Book

+

Language: English

+

Subject: Logic, Symbolic and mathematical

Author

Copi, Irving M.

(4)

Mendelson, Elliott

(4)

Rood, Harold J.

(3)

(3)

Curry, Haskell Brooks

(2)

Enderton, Herbert B.

(2)

Hogger, Christopher John

(2)

Leblanc, Hugues, 1924-

(2)

Liebeck, M. W. (Martin W.), 1954-

(2)

Open University. Mathematics Foundation Course Team

(2)

Posthoff, Christian

(2)

Ramsey, Frank Plumpton

(2)

Slisenko, A. O.

(2)

Steinbach, Bernd

(2)

Stoll, Robert Roth

(2)

(2)

Wolf, Robert S.

(2)

(1)

Ackermann, Wilhelm

(1)

(1)

Aiserman, Mark A.

(1)

American Mathematical Society

(1)

Antoniou, Grigoris

(1)

Armstrong, James W.

(1)

Bakker, Jaco de

(1)

Barnes, Donald W.

(1)

(1)

Beckman, Frank S.

(1)

Bell, John Lane

(1)

Ben-Ari, Mordechai

(1)

Benthem, Johan Van

(1)

Beziau, Jean-Yves

(1)

Biswas, Nripendra Nath, 1928-

(1)

Bittinger, Marvin L.

(1)

Bjorner, D. (Dines), 1937-

(1)

(1)

(1)

(1)

Braithwaite, Richard Bevan

(1)

Brassard, Gilles

(1)

Bucur, Ionel, 1930-1976

(1)

Burris, Stanley N.

(1)

Cameron, Peter J. (Peter Jephson), 1947-

(1)

(1)

Causey, Robert L.

(1)

(1)

Chang, Chin-Ling

(1)

(1)

Clarke, Michael

(1)

(1)

(1)

Constable, Robert L.

(1)

Cooper, S. B. (S. Barry), author

(1)

(1)

Crossley, John N.

(1)

Dalen, D. van (Dirk), 1932-

(1)

(1)

De Alcantara, Luiz Paulo

(1)

De la Higuera, Colin

(1)

(1)

Deschamps, Jean-Pierre, 1945-

(1)

Dickmann, M. A.

(1)

(1)

(1)

(1)

(1)

Epstein, Richard L., 1947-

(1)

Ercegovaca, Irene

(1)

Felscher, Walter

(1)

(1)

(1)

Fitting, Melvin, 1942-

(1)

Forster, Thomas

(1)

(1)

Gallier, Jean H.

(1)

(1)

Garson, James W., 1943-

(1)

(1)

Gersting, Judith L.

(1)

Ginsburg, Seymour

(1)

Girard, Jean-Yves

(1)

(1)

Givant, Steven R.

(1)

(1)

Goodstein, R. L. (Reuben Louis)

(1)

Grandy, Richard E.

(1)

Griffiths, Hubert Brian

(1)

(1)

Hackworth, Robert D.

(1)

Hallerberg, Arthur Edward

(1)

(1)

Halpern, Joseph Y., 1953-

(1)

Hamilton, A. G.

(1)

Hamilton, Alan G.

(1)

Harnadek, Anita

(1)

(1)

Hehner, Eric C. R.

(1)

(1)

Hellerstein, N. S.

(1)

Henson, Martin C.

(1)

(1)

(1)

Hilton, Peter John

(1)

Hinman, Peter G.

(1)

(1)

Hooker, C. A. (Clifford Alan), 1942-

(1)

Howland, Joseph W.

(1)

Jacquette, Dale

(1)

Jeffrey, Richard

(1)

Jeroslow, Robert G.

(1)

Jorgensen, Klaus Frovin

(1)

(1)

(1)

Keisler, H. Jerome

(1)

Kilmister, C. W. (Clive William)

(1)

Klenk, Virginia

(1)

Kneebone, G. T.

(1)

Korfhage, Robert R.

(1)

Kowalski, Robert

(1)

(1)

(1)

Kroger, Fred, 1945-

(1)

Kuczkowski, Joseph E.

(1)

(1)

Langholz, Gideon

(1)

(1)

Lee, Char-Tung, Richard

(1)

Leeuwen, J. van (Jan), author

(1)

Levitz, Hilbert

(1)

Levitz, Kathleen

(1)

Lewis, Harry R.

(1)

Lightstone, A. H.

(1)

Ligozat, Gérard

(1)

Lipschutz, Seymour

(1)

Luschei, Eugene C.

(1)

Lynch, Edward P.

(1)

Machover, Moshe

(1)

(1)

Maehara, Shōji

(1)

(1)

(1)

Manaster, Alfred B.

(1)

(1)

(1)

(1)

(1)

(1)

Menzier-Trott, Eckart

(1)

(1)

Meulen, Alice Ter

(1)

(1)

Mittlestaedt, Peter

(1)

Monk, James Donald

(1)

Montaque, Richard

(1)

Mostowski, Andrzej

(1)

Munroe, M. Evans (Marshall Evans), 1918-

(1)

National Semiconductor

(1)

(1)

Nievergelt, Yves

(1)

Niwiński, Damian

(1)

O'Connor, D. J.

(1)

O'Donnell, Michael J.

(1)

Ohmer, Merlin M.

(1)

Oliveira, Suely

(1)

Onyszkiewicz, Janusz

(1)

Orenstein, Alex

(1)

Papadimitriou, Christos H.

(1)

(1)

Pedersen, Stig Andur, 1943-

(1)

Penrose, Roger, author

(1)

Poernomo, Iman Hafiz

(1)

Pollock, John L.

(1)

Polya, George, 1887-1985

(1)

Ponasse, Daniel

(1)

Pozzato, Gian Luca

(1)

Pullum, Laura L.

(1)

Quine, W. V. (Willard Van Orman), author

(1)

(1)

(1)

Reiger, Ladislav

(1)

(1)

(1)

Rodgers, Nancy, 1941-

(1)

Rosen, Kenneth H.

(1)

Rosser, J. Barkley

(1)

(1)

(1)

Scheurer, Thierry

(1)

Schiller, Marvin R. G.

(1)

(1)

Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-

(1)

Shihara, Charles S

(1)

Shoenfield, Joseph Robert

(1)

Shoesmith, D. J.

(1)

Shore, Richard A.

(1)

Skala, Heinz J.

(1)

(1)

(1)

(1)

Smullyan, Raymond M.

(1)

Language

(1)

Format

(193)

Subject

(18)

Mathematics -- Philosophy

(11)

Computer science -- Mathematics

(9)

Mathematics -- 1961-

(7)

(7)

Electronic digital computers -- Programming

(5)

Algebra, Abstract

(4)

(4)

Algebra, Boolean

(3)

(3)

(3)

(3)

(3)

Semantics (Philosophy)

(3)

Structured programming

(3)

(2)

Arithmetic -- Foundations

(2)

Automatic theorem proving

(2)

Binary systems (Mathematics)

(2)

(2)

Formal languages

(2)

(2)

Logic programming

(2)

(2)

(2)

Predicate calculus

(2)

Programming (Electronic computers)

(2)

Programming languages (Electronic computers) -- Semantics

(2)

(2)

(2)

Switching theory

(2)

Abstract data types (Computer science)

(1)

Aggregates (Building materials)

(1)

Algebraic logic

(1)

Arithemetic -- Foundations

(1)

Artificial intelligence

(1)

Artificial intelligence -- Methodology

(1)

Cardinal numbers

(1)

Categories (Mathematics)

(1)

Chemical engineering -- Mathematics

(1)

Combinatorial analysis

(1)

Computable functions.

(1)

Computational complexity

(1)

Computer programming

(1)

Computer programs -- Correctness

(1)

Computer programs -- Testing

(1)

Computer science

(1)

Constructive mathematics

(1)

Curry-Howard isomorphism

(1)

Data structures (Computer science)

(1)

Decision support systems

(1)

Decision-making -- Mathematical models

(1)

Electronic data processing

(1)

Electronic digital computers -- Circuits

(1)

Enigma cipher system

(1)

First-order logic

(1)

Functional programming (Computer science)

(1)

Geometry, Algebraic

(1)

(1)

Infinitary languages

(1)

Intuitionistic mathematics

(1)

Knowledge, Theory of.

(1)

Lambda calculus

(1)

Language and languages -- Philosophy

(1)

(1)

(1)

Mathematical analysis

(1)

Mathematical models

(1)

Mathematical physics

(1)

Mathematical recreations

(1)

Mathematicians -- Correspondence, reminiscences, etc.

(1)

Mathematicians -- Germany -- Biography

(1)

Mathematicians -- Great Britain -- Biography

(1)

Modality (Logic)

(1)

Natural language processing (Computer science)

(1)

Nonstandard mathematical analysis

(1)

Numbers, Natural

(1)

PL/CV (Computer program language)

(1)

(1)

Physics -- Philosophy

(1)

(1)

Probabilities -- Outlines, syllabi, etc.

(1)

Problem solving

(1)

Proposition (Logic)

(1)

Propositional calculus

(1)

Qualitative reasoning

(1)

Recursion theory

(1)

Recursive functions

(1)

(1)

(1)

Semantics -- Mathematical models

(1)

Sequential machine theory

(1)

Space and time -- Mathematical models

(1)

Spatial analysis (Statistics)

(1)

(1)

(1)

(1)

(1)

Turing, Alan Mathison, 1912-1954

(1)

Uncertainty (Information theory)

(1)

Utility theory -- Mathematical models

(1)

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

193 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 17

000000000000MAIN

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.

37.

Cover image for Logic and structure

Logic and structure

by

Dalen, D. van (Dirk), 1932-

Author

Dalen, D. van (Dirk), 1932-

Format:

Call Number

QA9 D34 2004

Edition

4th ed.

Publisher

Springer-Verlag,

Publication Date

2004

ISBN

9783540208792

Available:
Holds:
Copies:

SD_ILS:448370

38.

Cover image for Logic functions and equations : binary models for computer science

Logic functions and equations : binary models for computer science

Logic functions and equations : binary models for computer science

by

Posthoff, Christian

Author

Posthoff, Christian, Steinbach, Bernd

Format:

Call Number

QA76.9.L63 P67 2004

Publisher

Springer,

Publication Date

2004

ISBN

9781402029370

Available:
Holds:
Copies:

SD_ILS:464035

39.

Cover image for Reasoning about theoretical entities

Reasoning about theoretical entities

Reasoning about theoretical entities

by

Forster, Thomas

Author

Forster, Thomas

Format:

Call Number

QA9.4 F67 2003

Publisher

World Scientific,

Publication Date

2003

ISBN

9789812385673

Available:
Holds:
Copies:

SD_ILS:399429

40.

Cover image for Mathematical logic for computer science

Mathematical logic for computer science

by

Ben-Ari, Mordechai

Author

Ben-Ari, Mordechai

Format:

Call Number

QA9 B364 2003

Edition

2rd ed.

Publisher

Springer,

Publication Date

2003

ISBN

9781852333195

Available:
Holds:
Copies:

SD_ILS:310256

41.

Cover image for Foundations of logic and mathematics : applications to computer science and cryptography

Foundations of logic and mathematics : applications to computer science and cryptography

by

Nievergelt, Yves

Author

Nievergelt, Yves

Format:

Call Number

QA9 N54 2002

Publisher

Birkh�auser,

Publication Date

2002

ISBN

9780817642495

Available:
Holds:
Copies:

SD_ILS:347193

42.

Cover image for Symbolic logic

by

Jacquette, Dale

Author

Jacquette, Dale

Format:

Call Number

BC135 J25 2001

Publisher

Wadsworth Publishing,

Publication Date

2001

ISBN

9780534537302

Available:
Holds:
Copies:

SD_ILS:150304

43.

Cover image for Gentzens problem : mathematische logik im nationalsozialistischen Deutschland

Gentzens problem : mathematische logik im nationalsozialistischen Deutschland

Gentzens problem : mathematische logik im nationalsozialistischen Deutschland

by

Menzier-Trott, Eckart

Author

Menzier-Trott, Eckart, Von Plato, Jan

Format:

Call Number

QA29.G4 M46 2001

Publisher

Birkhauser Verlag,

Publication Date

2001

ISBN

9783764365745

Available:
Holds:
Copies:

SD_ILS:152635

44.

Cover image for Logic and structured design for computer programmers

Logic and structured design for computer programmers

by

Rood, Harold J.

Author

Rood, Harold J.

Format:

Call Number

QA76.6 R62 2001

Edition

3rd ed.

Publisher

Brooks/Cole,

Publication Date

2001

ISBN

9780534373863

Available:
Holds:
Copies:

SD_ILS:160084

45.

Cover image for Mathematical logic : collected works of A. M. Turing

Mathematical logic : collected works of A. M. Turing

Mathematical logic : collected works of A. M. Turing

by

Turing, Alan Mathison

Author

Turing, Alan Mathison, Gandy, R. O., Yates, C. M. E.

Format:

Call Number

QA9.2 T87 2001

Publisher

North-Holland,

Publication Date

2001

ISBN

9780444504234

Available:
Holds:
Copies:

SD_ILS:313325

46.

Cover image for Lectures on mathematical logic

Lectures on mathematical logic

Lectures on mathematical logic

by

Felscher, Walter

Author

Felscher, Walter

Format:

Call Number

QA9.2 F44 2000 v.3

Publisher

Gordon and Breach Science Publishers,

Publication Date

2000

ISBN

9789056992682

Available:
Holds:
Copies:

SD_ILS:622685

47.

Cover image for Learning to reason : an introduction to logic, sets and relations

Learning to reason : an introduction to logic, sets and relations

by

Rodgers, Nancy, 1941-

Author

Rodgers, Nancy, 1941-

Format:

Call Number

QA9 R62 2000

Publisher

John Wiley & Sons,

Publication Date

2000

ISBN

9780471371229

Available:
Holds:
Copies:

SD_ILS:374749

48.

Cover image for Foundations of digital logic design

Foundations of digital logic design

Foundations of digital logic design

by

Langholz, Gideon

Author

Langholz, Gideon

Format:

Call Number

TK7888.4 L36 1998

Publisher

World Scientific Publishing,

Publication Date

1998

ISBN

9789810231101

Available:
Holds:
Copies:

SD_ILS:155700

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 17

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1