//--> //--> //-->
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
~person:"Ahamad, Shaik Shakeel"
~person:"Gérard-Varet, Louis-André"
~person:"Tarski, Alfred"
~subject:"Mathematische Logik"
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
Mathematische Logik
Logik
4
Logic
3
Decision theory
2
Entscheidungstheorie
2
Game theory
2
Knowledge
2
Spieltheorie
2
Wissen
2
Aufsatzsammlung
1
Automated Security Protocol Analysis (AVISPA) and Scyther Tool
1
Burrows-Albadi-Needham (BAN) Logic
1
Digital Signature with Message Recovery (DSMR) based on Elliptic Curve Cryptography (ECC)
1
Electronic money
1
Elektronisches Geld
1
Environment
1
Epistemische Logik
1
Formale Semantik
1
Infrastructure
1
Infrastruktur
1
Mathematik
1
Metamathematik
1
Public Key Infrastructure (PKI) cryptosystems
1
Semantik
1
Telefonnetz
1
Telephone network
1
Theoretische Philosophie
1
Theorie
1
Theory
1
Umwelt
1
mobile agent
1
multi-hop cellular-networks
1
more ...
less ...
Type of publication
All
Book / Working Paper
2
Language
All
German
1
English
1
Author
All
Ahamad, Shaik Shakeel
Gérard-Varet, Louis-André
Tarski, Alfred
Hasenjäger, Gisbert
2
Lorenzen, Paul
2
Ackermann, Wilhelm
1
Alexander, Dietrich
1
Bird, Richard
1
Bocheński, Joseph M.
1
Czayka, Lothar
1
Ebbinghaus, Heinz-Dieter
1
Etessami, Kousha
1
Flum, Jörg
1
Gallaire, Hervé
1
Harbeck, Gerd
1
Harel, David
1
Hehner, Eric C. R.
1
Hermes, Hans
1
Hilbert, David
1
Hosmer, David W.
1
Jaques, Elliott
1
Klaus, Georg
1
Kowalski, Robert
1
Kozen, Dexter
1
Kreisel, Georg
1
Krivine, Jean-Louis
1
Lakatos, Imre
1
Lemeshow, Stanley
1
Lloyd, John W.
1
Lopez Pintor, Rafael
1
Löwe, Benedikt
1
Novikov, Pëtr S.
1
Russell, Bertrand
1
Scholz, Heinrich
1
Seiffert, Helmut
1
Skowron, Andrzej
1
Staab, Frank
1
Thomas, Wolfgang
1
Weinberg, Peter
1
more ...
less ...
Source
All
ECONIS (ZBW)
1
USB Cologne (EcoSocSci)
1
Showing
1
-
2
of
2
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Einführung in die mathematische Logik und in die Methodologie der Mathematik
Tarski, Alfred
-
1937
Persistent link: https://www.econbiz.de/10000376420
Saved in:
2
Logic, semantics, metamathematics : papers from 1923 to 1938
Tarski, Alfred
-
1956
Persistent link: https://www.econbiz.de/10009604433
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->