- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764385170
3764385170
- Maße
-
24 cm
- Umfang
-
VIII, 178 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 165 - 174
- Schlagwort
-
Aussagenlogik
Vollständigkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Basel, Boston, Mass., Berlin
- (wer)
-
Birkhäuser
- (wann)
-
2008
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Pogorzelski, Witold A.
- Wojtylak, Piotr
- Birkhäuser
Entstanden
- 2008
Ähnliche Objekte (12)
Semantics of type theory : correctness, completeness and independence results
Lanczos algorithms for large symmetric eigenvalue computations, Vol. 1.. Theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Analytic number theory, Vol. 1
Analytic number theory, Vol. 2
Percolation theory for mathematicians
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 1
Hyperbolic problems: theory, numerics, applications, Vol. 1
Multivariate approximation theory, [1].. February 4 - 10, 1979
Semantics of type theory : correctness, completeness and independence results
Lanczos algorithms for large symmetric eigenvalue computations, Vol. 1.. Theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Analytic number theory, Vol. 1
Analytic number theory, Vol. 2
Percolation theory for mathematicians
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 1
Hyperbolic problems: theory, numerics, applications, Vol. 1
Multivariate approximation theory, [1].. February 4 - 10, 1979
Semantics of type theory : correctness, completeness and independence results
Lanczos algorithms for large symmetric eigenvalue computations, Vol. 1.. Theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Mathematics of the 19th century, [...]. Mathematical logic, algebra, number theory, probability theory
Analytic number theory, Vol. 1
Analytic number theory, Vol. 2
Percolation theory for mathematicians
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 2
Hyperbolic problems: theory, numerics, applications, Vol. 1
Hyperbolic problems: theory, numerics, applications, Vol. 1