Search Results for Logic, Symbolic and mathematical

|

|

|

|

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

1.

Cover image for Logic and arithemetic

Logic and arithemetic

Logic and arithemetic

by

Bostock, David

Author

Bostock, David

Format:

Call Number

QA9 B67 1979

Publisher

Clarendon Press.,

Publication Date

2020 2019 2018 2017 2016

ISBN

9780198243663 9780198245919

Available:
Holds:
Copies:

SD_ILS:153815

2.

Cover image for Alan Turing : his work and impact

Alan Turing : his work and impact

by

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

Author

Cooper, S. B. (S. Barry), author, Leeuwen, J. van (Jan), author

Format:

Call Number

QA29.T8 C66 2013 f

Publisher

Elsevier,

Publication Date

2013

ISBN

9780123869807

Available:
Holds:
Copies:

SD_ILS:828369

3.

Cover image for Elements of logical reasoning

Elements of logical reasoning

by

Von Plato, Jan author

Author

Von Plato, Jan author

Format:

Call Number

QA9 V66 2013

Publisher

Cambridge Univ Pr.,

Publication Date

2013

ISBN

9781107036598 9781107610774

Available:
Holds:
Copies:

SD_ILS:831808

4.

Cover image for What logics mean : from proof theory to model-theoretic semantics

What logics mean : from proof theory to model-theoretic semantics

by

Garson, James W., 1943-

Author

Garson, James W., 1943-

Format:

Call Number

BC71 G37 2013

Publisher

Cambridge University Press,

Publication Date

2013

ISBN

9781107039100

Available:
Holds:
Copies:

SD_ILS:832857

5.

Cover image for Word and object

Word and object

by

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

Author

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

Format:

Call Number

B840 Q56 2013

Edition

New edition

Publisher

MIT Press,

Publication Date

2013

ISBN

9780262518314

Available:
Holds:
Copies:

SD_ILS:841893

6.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

by

Walicki, Michał

Author

Walicki, Michał

Format:

Call Number

QA9 W354 2012

Publisher

World Scientific,

Publication Date

2012

ISBN

9789814343862 9789814343879

Available:
Holds:
Copies:

SD_ILS:815691

7.

Cover image for Qualitative spatial and temporal reasoning

Qualitative spatial and temporal reasoning

by

Ligozat, Gérard

Author

Ligozat, Gérard

Format:

Call Number

Q339.25 L544 2012

Publisher

ISTE ; Wiley,

Publication Date

2012

ISBN

9781848212527

Available:
Holds:
Copies:

SD_ILS:785375

8.

Cover image for Discrete structures with contemporary applications

Discrete structures with contemporary applications

by

Stanoyevitch, Alexander

Author

Stanoyevitch, Alexander

Format:

Call Number

QA76.9.M35 S73 2011

Publisher

CRC Press,

Publication Date

2011

ISBN

9781439817681

Available:
Holds:
Copies:

SD_ILS:763936

9.

Cover image for A concise introduction to pure mathematics

A concise introduction to pure mathematics

by

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

Author

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

Format:

Call Number

QA9 L534 2011

Edition

3rd ed.

Publisher

Taylor & Francis,

Publication Date

2011

ISBN

9781439835982

Available:
Holds:
Copies:

SD_ILS:749208

10.

Cover image for Granularity analysis for tutoring mathematical proofs

Granularity analysis for tutoring mathematical proofs

by

Schiller, Marvin R. G.

Author

Schiller, Marvin R. G.

Format:

Call Number

QA9.54 S24 2011

Publisher

IOS Press,

Publication Date

2011

ISBN

9781607507192

Available:
Holds:
Copies:

SD_ILS:778533

11.

Cover image for Roger Penrose : collected works

Roger Penrose : collected works

Roger Penrose : collected works

by

Penrose, Roger, author

Author

Penrose, Roger, author

Format:

Call Number

QC19.3 P46 2011 v.1

Publisher

Oxford University Press,

Publication Date

2011

ISBN

9780199219445 9780199219360 9780199219377 9780199219384 9780199219391

Available:
Holds:
Copies:

SD_ILS:782788

12.

Cover image for Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers

by

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

Author

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

Format:

Call Number

QA248 S37 2010

Publisher

Wiley,

Publication Date

2010

ISBN

9780470551387

Available:
Holds:
Copies:

SD_ILS:765726

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 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