Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Der Logikverführer: Schlussfolgerungen für alle Lebenslagen
|
Naturwissensch., Medizin, Technik |
20.50 |
|
| Buch |
 Sprache:
Deutsch / Autor: Christoph Drösser / Einband: Kartoniert |
|
|
|
|
 |
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
|
Schulbücher |
49.90 |
|
| Buch |
Sprache:
Englisch / Autor: S. A. Toledo / Einband: Kartoniert |
|
|
|
|
 |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
|
Schulbücher |
83.00 |
|
| Buch |
Sprache:
Deutsch / Autor: Eckart Menzler-Trott / Einband: Kartoniert |
|
|
|
|
 |
Mathematische Grundlagenforschung Intuitionismus Beweistheorie
|
Schulbücher |
77.00 |
|
| Buch |
Sprache:
Deutsch / Autor: A. Heyting / Einband: Kartoniert |
|
|
|
|
 |
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and
|
Schulbücher |
49.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
|
Schulbücher |
49.90 |
|
| Buch |
Sprache:
Englisch / Autor: W. Sieg / Einband: Kartoniert |
|
|
|
|
 |
Grundlagen der Mathematik II
|
Schulbücher |
102.00 |
|
| Buch |
Sprache:
Deutsch / Autor: David Hilbert / Einband: Kartoniert |
|
|
|
|
 |
Proof Theory
|
Schulbücher |
168.00 |
|
| Buch |
Sprache:
Englisch / Autor: K. Schütte / Einband: Kartoniert |
|
|
|
|
 |
L. E. J. Brouwer: Intuitionismus
|
Schulbücher |
58.50 |
|
| Buch |
Sprache:
Deutsch / Autor: Dirk Van Dalen / Einband: Kartoniert |
|
|
|
|
 |
Proof Theory and Intuitionistic Systems
|
Schulbücher |
55.90 |
|
| Buch |
Sprache:
Englisch / Autor: Bruno Scarpellini / Einband: Kartoniert |
|
|
|
|
 |
Formale Logik
|
Schulbücher |
52.50 |
|
| Buch |
Sprache:
Deutsch / Autor: Lucien Sina / Einband: Kartoniert |
|
|
|
|
| / 1 |
Newsfeed | 
Facebook | 
Twitter
