//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
isPartOf:"Econometric reviews"
~isPartOf:"British journal of management : BJM"
~isPartOf:"Lecture notes in computer science"
~person:"Harel, David"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject_exact:"Formale Logik"
Narrow search
Delete all filters
| 4 applied filters
Year of publication
From:
To:
Subject
All
Logik
1
Mathematische Logik
1
Programmierung
1
Type of publication
All
Book / Working Paper
1
Type of publication (narrower categories)
All
Dissertation u.a. Prüfungsschriften
1
Language
All
English
1
Author
All
Harel, David
Adolfsson, Petra
1
Conway, Roger K.
1
Delmestri, Giuseppe
1
Fincham, Robin
1
Forbes, Tom
1
Goodrick, Elizabeth
1
Lindberg, Kajsa
1
Nicolini, Davide
1
Reay, Trish
1
Skowron, Andrzej
1
Swamy, Paravastu A. V. B.
1
Von zur Mühlen, Peter
1
more ...
less ...
Published in...
All
Econometric reviews
British journal of management : BJM
Lecture notes in computer science
Source
All
USB Cologne (EcoSocSci)
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
First order dynamic logic
Harel, David
-
1979
Persistent link: https://www.econbiz.de/10004038415
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->