-
Kurt Godel and the Foundations of Mathematics
EbookSofort lieferbarThis volume commemorates the life, work and fou...
-
-
Kurt Godel and the Foundations of Mathematics
EbookSofort lieferbarThis volume commemorates the life, work and fou...
-
Methods of Cut-Elimination
EbookSofort lieferbarThis book on methods of cut-elimination contain...
-
-
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Kurt Godel and the Foundations of Mathematics
TaschenbuchPrint on DemandThis volume commemorates the life, work and fou...
-
Methods of Cut-Elimination
TaschenbuchPrint on DemandThis is the first book on cut-elimination in fi...
-
Logic for Programming, Artificial Intelligence, and Reasoning
TaschenbuchPrint on DemandMaurizioLenzerini(Universit`adiRomäLaSapienzä) ...
-
Computer Science Logic
TaschenbuchPrint on DemandThis book constitutes the joint refereed procee...
-
Kurt Godel and the Foundations of Mathematics
BuchPrint on DemandThis volume commemorates the life, work and fou...
-
Methods of Cut-Elimination
BuchBesorgungstitel - wird vorgemerktThis book on methods of cut-elimination contain...
- 1
Folgen Sie uns auf:
