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: Model theory

Author

Keisler, H. Jerome

(3)

Robinson, Abraham, 1918-1974

(3)

Chang, Chen Chung, 1927-

(2)

Ball, Joseph A.

(1)

Beziau, Jean-Yves

(1)

Chatzidakis, Zoe Maria

(1)

(1)

Devlin, Keith J.

(1)

(1)

Enderton, Herbert B.

(1)

(1)

(1)

Hinman, Peter G.

(1)

Hisashi Kobayashi

(1)

IFAC Symposium on Automatic Control and Protection of Electric Power Systems ( February 21-25, 1977 : Melbourne)

(1)

(1)

Lawrence, F. W.

(1)

Lightstone, A. H.

(1)

Mal'cev, Antaolii Ivanvich, 1909-1967

(1)

Maurer, Christian, 1945-

(1)

Nourani, Cyrus F., author

(1)

(1)

(1)

Sacks, Gerald E.

(1)

Saracino, Dan, 1947-

(1)

(1)

Skolem, Thoralf

(1)

Weispfenning, Volker, 1944-

(1)

Wraith, Gavin C., 1939-

(1)

Ziegler, Martin

(1)

Language

(22)

Format

(26)

Material Type

Open Access Book

Subject

Logic, Symbolic and mathematical

(4)

(3)

System analysis

(2)

(2)

Algebra, Abstract

(1)

Algebraic fields

(1)

Contraction operators

(1)

(1)

Engineering mathematics -- Formulae

(1)

Factorization of operators

(1)

(1)

(1)

Infinitary languages

(1)

Recursion theory

(1)

(1)

Simulation methods

(1)

Topological spaces

(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

26 Results Found

Subscribe to search results

1 2 3

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 A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos

A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos

by

Nourani, Cyrus F., author

Author

Nourani, Cyrus F., author

Format:

Call Number

QA169 N69 2014

Publication Date

2014

ISBN

9781926895925

Available:
Holds:
Copies:

SD_ILS:838369

2.

Cover image for Model theory with applications to algebra and analysis

Model theory with applications to algebra and analysis

Model theory with applications to algebra and analysis

by

Chatzidakis, Zoe Maria

Author

Chatzidakis, Zoe Maria

Format:

Call Number

QA9.7 M62 2008

Publisher

Cambridge University Press,

Publication Date

2008

ISBN

9780521694841

Available:
Holds:
Copies:

SD_ILS:395633

3.

Cover image for Logica universalis : towards a general theory of logic

Logica universalis : towards a general theory of logic

by

Beziau, Jean-Yves

Author

Beziau, Jean-Yves

Format:

Call Number

QA9.2 L63 2005

Edition

2nd ed.

Publisher

Birkh�auser,

Publication Date

2007

ISBN

9783764383534

Accessible within UTM campus

Available:
Holds:
Copies:

SD_ILS:223860

4.

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

5.

Cover image for A course in model theory : an introduction to contemporary mathematical logic

A course in model theory : an introduction to contemporary mathematical logic

A course in model theory : an introduction to contemporary mathematical logic

by

Poizat, Bruno

Author

Poizat, Bruno, Klein, Moses

Format:

Call Number

QA9.7 P64 2000

Publisher

Springer,

Publication Date

2000

ISBN

9780387986555

Available:
Holds:
Copies:

SD_ILS:384763

6.

Cover image for Model theory

by

Chang, Chen Chung, 1927-

Author

Chang, Chen Chung, 1927-, Keisler, H. Jerome

Format:

Call Number

QA9.7 C53 1990

Edition

3rd ed.

Publisher

Sole dist.,

Publication Date

1990

ISBN

9780444880543

Available:
Holds:
Copies:

SD_ILS:285559

7.

Cover image for Dynamic systems : modelling and control

Dynamic systems : modelling and control

Dynamic systems : modelling and control

by

Donath, Max

Author

Donath, Max

Format:

Call Number

QA402 .D93 1985 f

Publisher

ASME,

Publication Date

1985

Available:
Holds:
Copies:

SD_ILS:487865

8.

Cover image for Topological model theory

Topological model theory

by

Flum, Jorg

Author

Flum, Jorg, Ziegler, Martin

Format:

Call Number

QA611.3 .F58 1980

Publisher

Springer-Verlag,

Publication Date

1980

ISBN

9780387097329

Available:
Holds:
Copies:

SD_ILS:167637

9.

Cover image for Modeling and analysis : an introduction to system performance evaluation methodology

Modeling and analysis : an introduction to system performance evaluation methodology

by

Hisashi Kobayashi

Author

Hisashi Kobayashi

Format:

Call Number

QA402 H574 1978

Publisher

Addison-Wesley,

Publication Date

1978

ISBN

9780201144574

Available:
Holds:
Copies:

SD_ILS:212401

10.

Cover image for Factorization and model theory for contraction operators with unitary part

Factorization and model theory for contraction operators with unitary part

Factorization and model theory for contraction operators with unitary part

by

Ball, Joseph A.

Author

Ball, Joseph A.

Format:

Call Number

QA329.2 B34 1978

Publisher

American Mathematical Society,

Publication Date

1978

ISBN

9780821821985

Available:
Holds:
Copies:

SD_ILS:136342

11.

Cover image for Elements of system-dynamics simulations : a textbook with exercises

Elements of system-dynamics simulations : a textbook with exercises

Elements of system-dynamics simulations : a textbook with exercises

by

Ferrari, Th J.

Author

Ferrari, Th J.

Format:

Call Number

Q295 F37 1978

Publisher

Centre for Agricultural Publishing and Documentation,

Publication Date

1978

ISBN

9789022006689

Available:
Holds:
Copies:

SD_ILS:479382

12.

Cover image for Mathematical logic : an introduction to model theory

Mathematical logic : an introduction to model theory

Mathematical logic : an introduction to model theory

by

Lightstone, A. H.

Author

Lightstone, A. H., Enderton, Herbert B.

Format:

Call Number

QA9 L53 1978

Publisher

Plenum Press,

Publication Date

1978

ISBN

9780306308949

Available:
Holds:
Copies:

SD_ILS:483427

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

© 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