Search Results for Arithmetic -- Foundations.

|

|

|

|

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

Author

SpringerLink (Online service)

(11)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Byrne, J. Richard

(1)

Doneddu, Alfred.

(1)

Eicholz, Robert E.

(1)

Ewald, William. editor.

(1)

Frege, Gottlob, 1848-1925.

(1)

Goodstein, R. L. (Reuben Louis)

(1)

Greuel, Gert-Martin. editor.

(1)

Hackworth, Robert D.

(1)

Halmos, Paul R. (Paul Richard), 1916-2006.

(1)

Hashisaki, Joseph, ort. yaz.

(1)

(1)

Kennedy, Juliette.

(1)

Koch, Thorsten. editor.

(1)

(1)

O'Daffer, Phares G., ort. yaz.

(1)

Paule, Peter. editor.

(1)

Peterson, John A.

(1)

Rees, Michael, 1964- author.

(1)

Serovajsky, Simon, author.

(1)

Sieg, Wilfried. editor.

(1)

Smart, Nigel. author.

(1)

Soare, Robert I. author.

(1)

Sommese, Andrew. editor.

(1)

Tarski, Alfred.

(1)

Language

(22)

(1)

(1)

Publication Date

-

(7)

(3)

(3)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Arithmetic -- Foundations.

(10)

Computer science -- Mathematics.

(10)

Mathematics of Computing.

(9)

Computer science.

(8)

Software engineering.

(8)

Theory of Computation.

(8)

Artificial intelligence.

(7)

Computer Engineering and Networks.

(7)

Computer engineering.

(7)

Computer networks .

(7)

Aritmetik -- Temel.

(6)

Logic, Symbolic and mathematical.

(3)

Discrete mathematics.

(2)

Mathematics -- Philosophy.

(2)

(2)

Algebraic logic.

(1)

(1)

BUSINESS & ECONOMICS -- Finance.

(1)

BUSINESS & ECONOMICS.

(1)

Corporations -- Finance -- Mathematical models

(1)

Corporations -- Finance -- Mathematical models.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

Electronic books.

(1)

(1)

Finance -- Mathematical models

(1)

Finance -- Mathematical models.

(1)

(1)

Finances -- Modèles mathématiques.

(1)

Information theory.

(1)

MATHEMATICS / Functional Analysis

(1)

MATHEMATICS / General

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Set Theory

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

(1)

Microsoft Excel (Computer file)

(1)

Microsoft Office

(1)

Microsoft Office.

(1)

Numaralandırma.

(1)

(1)

(1)

Numerical analysis.

(1)

Recursion theory.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Visual Basic for Applications (Computer program language)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{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

24 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

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 David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Author

Kennedy, Juliette. Kossak, Roman.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for On the foundations of geometry and formal theories of arithmetic

On the foundations of geometry and formal theories of arithmetic

On the foundations of geometry and formal theories of arithmetic

Author

Frege, Gottlob, 1848-1925.

Preferred Shelf Number

B 3245.F2 O8 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63772-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63775-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63749-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63759-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63783-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63778-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63751-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Architecture of mathematics

Architecture of mathematics

Architecture of mathematics

Author

Serovajsky, Simon, author.

Preferred Shelf Number

QA9

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429470370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Principles of financial modelling : model design and best practices using Excel and VBA

Principles of financial modelling : model design and best practices using Excel and VBA

Principles of financial modelling : model design and best practices using Excel and VBA

Author

Rees, Michael, 1964- author.

Preferred Shelf Number

HG106

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118903933

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11