|
|
|
|
| LEADER |
01629nmm a2200361 u 4500 |
| 001 |
EB000709486 |
| 003 |
EBX01000000000000000562568 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783709194614
|
| 245 |
0 |
0 |
|a Collegium Logicum
|h Elektronische Ressource
|
| 250 |
|
|
|a 1st ed. 1996
|
| 260 |
|
|
|a Vienna
|b Springer Vienna
|c 1996, 1996
|
| 300 |
|
|
|a VII, 140 p. 3 illus
|b online resource
|
| 505 |
0 |
|
|a Resolution Games and Non-liftable Resolution Orderings -- A Tableau Calculus for Partial Functions -- MUltlog: an Expert System for Multiple-valued Logics -- A Fundamental Problem of Mathematical Logic -- On the Lengths of Proofs of Consistency -- The Craig Interpolation Theorem for Schematic Systems -- The Role of Monotonicity in Descriptive Complexity Theory -- Numbers Defined by Turing Machines
|
| 653 |
|
|
|a Computation by Abstract Devices
|
| 653 |
|
|
|a Mathematical Logic and Formal Languages
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Algorithms
|
| 653 |
|
|
|a Computers
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 653 |
|
|
|a Mathematical physics
|
| 653 |
|
|
|a Algorithm Analysis and Problem Complexity
|
| 653 |
|
|
|a Theoretical, Mathematical and Computational Physics
|
| 653 |
|
|
|a Logics and Meanings of Programs
|
| 653 |
|
|
|a Computer logic
|
| 710 |
2 |
|
|a Kurt-Gödel-Gesellschaft
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Collegium Logicum, Annals of the Kurt-Gödel-Society
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-7091-9461-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 511.3
|