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:

+

Subject: Logic, Symbolic and mathematical

Author

Mendelson, Elliott

(5)

Copi, Irving M.

(4)

Keisler, H. Jerome

(3)

Rood, Harold J.

(3)

Sim, Alex Tze Hiang

(3)

Slisenko, A. O.

(3)

(3)

(2)

(2)

(2)

Curry, Haskell Brooks

(2)

Enderton, Herbert B.

(2)

Hogger, Christopher John

(2)

Jacquette, Dale

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

(2)

(2)

SpringerLink (Online service)

(2)

Steinbach, Bernd

(2)

Stoll, Robert Roth

(2)

(2)

Wolf, Robert S.

(2)

Zaidatun Tasir, 1972-

(2)

(2)

Abdul Latif Ahmad

(1)

Abdul Latif Allah Pitchy

(1)

(1)

Ackermann, Wilhelm

(1)

Adamowicz, Zofia

(1)

(1)

(1)

(1)

Aiserman, Mark A.

(1)

American Mathematical Society

(1)

Antoniou, Grigoris

(1)

Armstrong, James W.

(1)

(1)

Bakker, Jaco de

(1)

Barnes, Donald W.

(1)

(1)

(1)

Beckman, Frank S.

(1)

Bell, John Lane

(1)

Ben-Ari, Mordechai

(1)

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

Bridges, Douglas S.

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

Che Moh Che Soh

(1)

Clarke, Michael

(1)

(1)

Constable, Robert L.

(1)

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

(1)

(1)

Crossley, John N.

(1)

Culberston, James Thomas

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

Ebbinghaus, Heinz-Dieter

(1)

(1)

Epstein, Richard L., 1947-

(1)

Ercegovaca, Irene

(1)

Felscher, Walter

(1)

(1)

(1)

Fitting, Melvin, 1942-

(1)

(1)

Forster, Thomas

(1)

(1)

Gallier, Jean H.

(1)

Galton, Anthony

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

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

Hamilton, Peter Seth

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

(1)

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

(1)

Howland, Joseph W.

(1)

IEEE Computer Society

(1)

International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975

(1)

Jeffrey, Richard

(1)

Jeffrey, Richard C.

(1)

Jeroslow, Robert G.

(1)

Jorgensen, Klaus Frovin

(1)

(1)

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

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

(1)

Mat Rofa Ismail, editor

(1)

Menzier-Trott, Eckart

(1)

(1)

Meulen, Alice Ter

(1)

(1)

Mittlestaedt, Peter

(1)

Mohamed Awang Lah

(1)

Monk, James Donald

(1)

Montaque, Richard

(1)

Mostowski, Andrzej

(1)

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

(1)

National Semiconductor

(1)

Neelavany Marimuthu

(1)

(1)

Nievergelt, Yves

(1)

Niwiński, Damian

(1)

(1)

O'Connor, D. J.

(1)

O'Donnell, Michael J.

(1)

Ohmer, Merlin M.

(1)

Oliveira, Suely

(1)

Onyszkiewicz, Janusz

(1)

Orenstein, Alex

(1)

Language

(201)

(8)

(1)

(1)

(1)

Format

(217)

(5)

Visual Materials

(4)

Continuing Resources

(2)

Material Type

Closed Access Thesis

Computer File Accompanies Open Access Book

Electronic Book

Non Circulating Microfilm

Non Circulating UTM Archive - Audio Visual

Non Circulating UTM Special Collection Materials

Open Access Book

Open Access Computer File

Subject

(19)

Mathematics -- Philosophy

(12)

Computer science -- Mathematics

(9)

Mathematics -- 1961-

(9)

(8)

Electronic digital computers -- Programming

(6)

(5)

Algebra, Abstract

(4)

(4)

(4)

(4)

(3)

Algebra, Boolean

(3)

(3)

(3)

(3)

Semantics (Philosophy)

(3)

Structured programming

(3)

Arithmetic -- Foundations

(2)

Automatic theorem proving

(2)

Binary systems (Mathematics)

(2)

(2)

Formal languages

(2)

(2)

Infinitary languages

(2)

Logic programming

(2)

(2)

(2)

Predicate calculus

(2)

Programming (Electronic computers)

(2)

Programming languages (Electronic computers) -- Semantics

(2)

(2)

Recursive functions

(2)

(2)

Switching theory

(2)

Abstract data types (Computer science)

(1)

(1)

Aggregates (Building materials)

(1)

Algebraic logic

(1)

Arithemetic -- Foundations

(1)

Artificial intelligence

(1)

Artificial intelligence -- Methodology

(1)

(1)

Carbon, Activated

(1)

Cardinal numbers

(1)

Categories (Mathematics)

(1)

(1)

Chemical engineering -- Mathematics

(1)

Chromatographic analysis -- Apparatus and supplies

(1)

Combinatorial analysis

(1)

Computable functions

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

Differential equations

(1)

Differential equations, Nonlinear

(1)

Digital electronics

(1)

Electronic data processing

(1)

Electronic digital computers

(1)

Electronic digital computers -- Circuits

(1)

Enigma cipher system

(1)

Expert systems (Computer science)

(1)

(1)

Finite differences

(1)

First-order logic

(1)

Functional analysis

(1)

Functional programming (Computer science)

(1)

Geometry, Algebraic

(1)

Global analysis (Mathematics)

(1)

(1)

Intuitionistic mathematics

(1)

Knowledge, Theory of.

(1)

Lambda calculus

(1)

Language and languages -- Philosophy

(1)

Lasers in physics

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

Natural products in agriculture

(1)

Nonstandard mathematical analysis

(1)

Numbers, Natural

(1)

Optoelectronics

(1)

PL/CV (Computer program language)

(1)

(1)

(1)

(1)

(1)

Physics -- Philosophy

(1)

(1)

Probabilities -- Outlines, syllabi, etc.

(1)

Problem solving

(1)

Proposition (Logic)

(1)

Propositional calculus

(1)

Qualitative reasoning

(1)

Radiation dosimetry

(1)

Radioactivity -- Measurement

(1)

Recursion theory

(1)

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

Water -- Analysis

(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

228 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 19

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 Fundamentals of mathematical logic

Fundamentals of mathematical logic

by

Hinman, Peter G.

Author

Hinman, Peter G.

Format:

Call Number

QA9 H56 2005

Publisher

A K Peters Ltd,

Publication Date

2005

ISBN

9781568812625

Available:
Holds:
Copies:

SD_ILS:364218

38.

Cover image for Reasoning about uncertainty

Reasoning about uncertainty

by

Halpern, Joseph Y., 1953-

Author

Halpern, Joseph Y., 1953-

Format:

Call Number

Q375 H34 2005

Publisher

The MIT Press,

Publication Date

2005

ISBN

9780262582599

Available:
Holds:
Copies:

SD_ILS:329139

39.

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

40.

Cover image for 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

41.

Cover image for 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

42.

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

43.

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

44.

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

45.

Cover image for 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

46.

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

47.

Cover image for Logic coach III plus : symbolic logic

Logic coach III plus : symbolic logic

by

Pole, Nelson

Author

Pole, Nelson, Jacquette, Dale

Format:

Call Number

CP 1877

Publisher

Wadsworth Publishing,

Publication Date

2001

ISBN

9780534537302

Available:
Holds:
Copies:

SD_ILS:589749

48.

Cover image for 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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 19

© 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