0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Not currently available

Collegium Logicum (Paperback, Softcover reprint of the original 1st ed. 1996) Loot Price: R1,278
Discovery Miles 12 780
Collegium Logicum (Paperback, Softcover reprint of the original 1st ed. 1996): Kurt-Goedel-Gesellschaft

Collegium Logicum (Paperback, Softcover reprint of the original 1st ed. 1996)

Kurt-Goedel-Gesellschaft

Series: Collegium Logicum, 2

 (sign in to rate)
Loot Price R1,278 Discovery Miles 12 780 | Repayment Terms: R120 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajic ek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines."

General

Imprint: Springer-Verlag
Country of origin: Austria
Series: Collegium Logicum, 2
Release date: April 1996
First published: 1996
Authors: Kurt-Goedel-Gesellschaft
Dimensions: 244 x 170 x 8mm (L x W x T)
Format: Paperback
Pages: 140
Edition: Softcover reprint of the original 1st ed. 1996
ISBN-13: 978-3-211-82796-3
Categories: Books > Science & Mathematics > Physics > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Applications of computing > General
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Science & Mathematics > Mathematics > Applied mathematics > General
Promotions
LSN: 3-211-82796-X
Barcode: 9783211827963

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,326 Discovery Miles 13 260
Principia Mathematica
Russell Bertrand Russell Hardcover R1,412 Discovery Miles 14 120
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,532 Discovery Miles 55 320
Logic for Physicists
Nicolas A Pereyra Paperback R760 Discovery Miles 7 600
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R2,229 Discovery Miles 22 290
Philosophy and Model Theory
Tim Button, Sean Walsh Hardcover R4,369 Discovery Miles 43 690
Models of Peano Arithmetic
Richard Kaye Hardcover R5,085 Discovery Miles 50 850
Elements of Geometry Upon the Inductive…
James Hayward Paperback R569 Discovery Miles 5 690
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R661 Discovery Miles 6 610
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R432 Discovery Miles 4 320
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R529 Discovery Miles 5 290
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R791 Discovery Miles 7 910

See more

Partners