Search Results for Mathematics

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:

+

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

228 Results Found

Subscribe to search results

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

49.

Cover image for Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

by

De Alcantara, Luiz Paulo

Author

De Alcantara, Luiz Paulo

Format:

Call Number

QA9.2 M37 1985

Publisher

Marcel Dekker,

Publication Date

1985

ISBN

9780824773304

Available:
Holds:
Copies:

SD_ILS:148744

50.

Cover image for Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

by

Bucur, Ionel, 1930-1976

Author

Bucur, Ionel, 1930-1976

Format:

Call Number

QA155 B92 1984

Publisher

D Reidel Pub ,

Publication Date

1984

ISBN

9789027716712

Available:
Holds:
Copies:

SD_ILS:238863

51.

Cover image for logic for mathematicians

logic for mathematicians

logic for mathematicians

by

Rosser, J. Barkley

Author

Rosser, J. Barkley

Format:

Call Number

BC135 R67 1953

Publisher

McGraw - Hill,

Publication Date

1953

Available:
Holds:
Copies:

SD_ILS:252428

52.

Cover image for Intuitionistic logic model theory and forcing

Intuitionistic logic model theory and forcing

Intuitionistic logic model theory and forcing

by

Fitting, Melvin, 1942-

Author

Fitting, Melvin, 1942-

Format:

Call Number

QA9 F57 1969

Publisher

North Holland,

Publication Date

1969

ISBN

720422566

Available:
Holds:
Copies:

SD_ILS:481844

53.

Cover image for Handbook of mathematical logic

Handbook of mathematical logic

Handbook of mathematical logic

by

Barwise, Jon

Author

Barwise, Jon

Format:

Call Number

QA9 H32 1977

Publisher

North-Holland,

Publication Date

1977

ISBN

9780720422856

Available:
Holds:
Copies:

SD_ILS:392837

54.

Cover image for Large infinitary languages : model theory

Large infinitary languages : model theory

by

Dickmann, M. A.

Author

Dickmann, M. A.

Format:

Call Number

QA9.37 D52 1975

Publisher

American Elsevier Pub.,

Publication Date

1975

ISBN

9780444106223

Available:
Holds:
Copies:

SD_ILS:148855

55.

Cover image for Combinatory logic

Combinatory logic

Combinatory logic

by

Curry, Haskell Brooks

Author

Curry, Haskell Brooks, Feys, Robert, Craig, William

Format:

Call Number

QA37.5 C87 1974

Publisher

North-Holland,

Publication Date

1974

Available:
Holds:
Copies:

SD_ILS:149675

56.

Cover image for Elements of mathematical logic (model theory)

Elements of mathematical logic (model theory)

Elements of mathematical logic (model theory)

by

Kreisel, G.

Author

Kreisel, G., Krivine, J. L.

Format:

Call Number

QA9 K74 1971

Edition

2nd rev ed

Publisher

North-Holland,

Publication Date

1971

ISBN

9780720422658

Available:
Holds:
Copies:

SD_ILS:484977

57.

Cover image for Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

by

Keisler, H. Jerome

Author

Keisler, H. Jerome

Format:

Call Number

QA9.37 K45 1971

Publisher

North-Holland Publishing,

Publication Date

1971

ISBN

9780720422580

Available:
Holds:
Copies:

SD_ILS:485780

58.

Cover image for The logical systems of Lesniewski

The logical systems of Lesniewski

The logical systems of Lesniewski

by

Luschei, Eugene C.

Author

Luschei, Eugene C.

Format:

Call Number

QA9 L88 1962

Publisher

North-Holland,

Publication Date

1962

Available:
Holds:
Copies:

SD_ILS:478548

59.

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

60.

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

1 .. 3 4 5 6 7 .. 19

Go to:Search Results

|

|

© 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