Skip to:
Search Results
|
Content
|
Bottom
|
Search Facets
Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
21
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Language: English
Author
Include
Exclude
Bowen, Kenneth A.
(1)
Dijkstra, Edsger Wybe.
(1)
Scholten, C. S., ort. yaz.
(1)
Publication Date
Include
Exclude
-
1979
(1)
1990
(1)
Subject
Include
Exclude
NİTELEYİCİ HESAP.
(2)
BİÇİMCİLİK (MANTIK).
(1)
MODEL KURAMI.
(1)
PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR) -- ANLAMBİLİM.
(1)
Material Type
Include
Exclude
Book
Shelf Location
Include
Exclude
Beytepe General Collection
Library
Include
Exclude
Beytepe Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
2 Results Found
1
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
00
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.
1.
Predicate calculus and program semantics
Predicate calculus and program semantics
Author
Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.
Preferred Shelf Number
QA 9.35 D55 1990
Format:
Availability
Beytepe Library~1
Available:
Copies:
2.
Model theory for model logic : kripke models for modal predicate calculi
Model theory for model logic : kripke models for modal predicate calculi
Author
Bowen, Kenneth A.
Preferred Shelf Number
QA 9.46 B68 1979
Format:
Availability
Beytepe Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
Go to:
Search Results
|
Top of Page
|
Search Facets