Log In
|
My Account
|
My Lists
|
Send a Request
|
Select Language
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
Ferit Melen Library
Ilahiyat Library
IIBF Library
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
36
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Subject: Operations research.
Author
Include
Exclude
SpringerLink (Online service)
(13)
Bramel, Julien. author.
(2)
Chen, Xin. author.
(2)
Simchi-Levi, David. author.
(2)
Aliev, Rafik Aziz. author.
(1)
Chen-Burger, Yun-Heh. author.
(1)
Erlander, Sven B. author.
(1)
Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929
(1)
Janjua, Naeem Khalid. author.
(1)
Kaci, Souhila. author.
(1)
Pohlers, Wolfram. author.
(1)
Robertson, Dave. author.
(1)
Triantaphyllou, Evangelos. author.
(1)
Wessely, Philip. author.
(1)
Williams, H. Paul. author.
(1)
Zhou, Jianyang. author.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(13)
Publication Date
Include
Exclude
-
2005
(3)
2009
(2)
2010
(2)
2011
(2)
2014
(2)
2012
(1)
2013
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Operations Research and Decision Theory.
(9)
Management science.
(7)
Operations Research, Management Science .
(6)
Artificial intelligence.
(4)
Computer science.
(3)
Econometrics.
(3)
Formal Languages and Automata Theory.
(3)
Machine theory.
(3)
Mathematical Logic and Foundations.
(3)
Mathematical logic.
(3)
Computational intelligence.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Data Mining and Knowledge Discovery.
(2)
Data mining.
(2)
Game theory.
(2)
Industrial and Production Engineering.
(2)
Industrial engineering.
(2)
Operations Management.
(2)
Production engineering.
(2)
Production management.
(2)
Quantitative Economics.
(2)
Business and Management.
(1)
Business information services.
(1)
Business mathematics.
(1)
Business.
(1)
Compilers (Computer programs).
(1)
Compilers and Interpreters.
(1)
Computer Application in Administrative Data Processing.
(1)
Database management.
(1)
Electronic commerce.
(1)
Electronic data processing-Management.
(1)
Engineering mathematics.
(1)
Engineering-Data processing.
(1)
IT Operations.
(1)
IT in Business.
(1)
Industrial organization.
(1)
Industrial procurement.
(1)
Information technology-Management.
(1)
Logic.
(1)
Mathematical Modeling and Industrial Mathematics.
(1)
Mathematical and Computational Engineering Applications.
(1)
Mathematical models.
(1)
Mathematical optimization.
(1)
Optimization.
(1)
Procurement.
(1)
Regional and Spatial Economics.
(1)
Regional economics.
(1)
Software engineering.
(1)
Spatial economics.
(1)
Theory of Computation.
(1)
e-Commerce and e-Business.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
Springer E-Book Collection
Library
Include
Exclude
Ferit Melen Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
13 Results Found
1
2
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary 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.
13.
Proof Theory The First Step into Impredicativity
Proof Theory The First Step into Impredicativity
by
Pohlers, Wolfram. author.
https://doi.org/10.1007/978-3-540-69319-2
Format:
Excerpt:
Mathematical Logic and Foundations.
Marc View
SD_ILS:176388
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
2
