English Books > Logic > Index > World Retail Store

English Books > Index > Logic

Logic English Books Index Go to 'Edit -> Find' on your browser toolbar or press 'Ctrl-F' to locate items on this page



	Advances In Linear Logic Girard, Jean-Yves; Lafont, Yves; Paperback; Code: BE-0521559618

	Algebraic Foundations Of Many-Valued Reasoning Cignoli, Roberto; D'Ottaviano, Itala M. L.; Hardcover; Code: BE-0792360095

	Algebraic Model Theory Other Hart, Bradd T.; Hardcover; Code: BE-0792346661

	An Accompaniment To Higher Mathematics (Corr Print) Exner, George; Hardcover; Code: BE-0387946179

	An Atlas Of The Smaller Maps In Orientable And Nonorientable Surfaces Jackson, D. M.; Visentin, Terry I.; Hardcover; Code: BE-1584882077

	An Introduction To Formal Languages And Automata Linz, Peter; Hardcover; Code: BE-076370296X

	An Introduction To Formal Languages And Automata Linz, Peter; Hardcover; Code: BE-0763714224

	An Introduction To Komogorov Complexity And Its Applications Li, Ming; With Vitanyi, Paul; Hardcover; Code: BE-0387948686

	An Introduction To Mathematical Logic And Type Theory:: To Truth Through Proof Andrews, Peter B.; Andrews, P. B.; Hardcover; Code: BE-1402007639

	Application And Theory Of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000; Proceedings Other Nielsen, M.; Paperback; Code: BE-3540676937

	Atlas For Computing Mathematical Functions: An Illustrated Guide For Practitioners With Programs In C And Mathematica With CDROM Thompson, William J.; Hardcover; Code: BE-0471002607

	Automata And Their Applications Khoussainov, Bakhadyr; Nerode, Anil; Hardcover; Code: BE-0817642072

	Automata Implementation: Second International Workshop On Implementing Automata, Wia 97, London, Ontario, Canada, September 18-20, 1997: Revis Wood, Derick; Yu, S.; Paperback; Code: BE-3540646949

	Automata Theory Simon, Matthew; Hardcover; Code: BE-9810237537

	Automation Of Reasoning: An Experimenters Notebook With Otter Tutorial, With Disk Wos, Larry; Hardcover; Code: BE-0127634207

	Axiomatic Set Theory Suppes, Patrick; Paperback; Code: BE-0486616304

	Basic Proof Theory Troelstra, Anne S.; Schwichtenberg, H.; Paperback; Code: BE-0521779111

	Boolean Functions And Computation Models Clote, Peter; With Kranakis, Evangelos; Hardback; Code: BE-3540594361

	Bounded Arithmetic, Propositional Logic, And Complexity Theory Krajicek, Jan; Hardcover; Code: BE-0521452058

	Categorical Perspectives Other Koslowski, Jurgen; Hardcover; Code: BE-0817641866

	Categories For The Working Mathematician Maclane, Saunders; Gehring, F. W.; Hardcover; Code: BE-0387984038

	Categories For Types Crole, Roy L.; Paperback; Code: BE-0521457017

	Cellular Automata And Complexity: Collected Papers Wolfram, Stephen; Paperback; Code: BE-0201626640

	Cellular Automata Machines: A New Environment For Modeling Toffoli, Tommaso; Margolus, Norman; Hardcover; Code: BE-0262200600

	Cellular Automata: Theory And Experiment (Mit Press) Gutowiz, Howard; Paperback; Code: BE-0262570866

	Classical Decision Problem Boerger, E.; Gradel, E.; Hardcover; Code: BE-038757073X

	Classical Decision Problem Boerger, Egon; Hardcover; Code: BE-354057073X

	Classical Recursion Theory Odifreddi, P.; Odifreddi, Piergiorgio; Paperback; Code: BE-0444894837

	Classical Recursion Theory: The Theory Of Functions And Sets Of Natural Numbers Odifreddi, Piergiorgio; Hardcover; Code: BE-044450205X

	Collected Works: Publications 1929-1936 Godel, Kurt; Feferman, Solomon; Hardcover; Code: BE-0195039645

	Collected Works: Publications 1938-1974 Godel, Kurt; Kleene, Stephen C.; Hardcover; Code: BE-0195039726

	Collected Works: Unpublished Essays And Lectures Godel, Kurt; Goldfarb, Warren D.; Hardcover; Code: BE-0195072553

	Coloured Petri Nets: Basic Concepts, Analysis Methods, And Practical Use Jensen, K.; Hardcover; Code: BE-3540609431

	Completeness And Reduction Algebraic Complexity Theology Burgisser, Peter; Hardcover; Code: BE-3540667520

	Complexity Classifications Of Boolean Constraint Satisfaction Problems Creignou, Nadia; Khanna, Sanjeev; Hardcover; Code: BE-0898714796

	Complexity: Knots, Colourings And Counting Welsh, D. J. A.; Paperback; Code: BE-0521457408

	Complexity, Logic, And Recursion Theory Other Sorbi, Andrea; Paperback; Code: BE-0824700260

	Computability: A Mathematical Sketchbook Bridges, D. S.; Bridges, Douglas S.; Hardcover; Code: BE-0387941746

	Computability And Logic Boolos, George S.; Burgess, John P.; Paperback; Code: BE-0521007585

	Computability And Unsolvability (Dover) Davis, Martin; Paperback; Code: BE-0486614719

	Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science Davis, Martin; Sigal, Ron; Hardcover; Code: BE-0122063821

	Computational Analysis Of One-Dimensional Cellular Automata Voorhees, Burton H.; Hardcover; Code: BE-9810222211

	Computational Complexity Papadimitriou, Christos; Hardcover; Code: BE-0201530821

	Computational Complexity Of Equivalence And Isomorphism Problems Thierauf, Thomas; Paperback; Code: BE-3540410325

	Computing With Bio-Molecules: Theory And Experiments Other Paun, Gheorghe; Paperback; Code: BE-9814021059

	Conceptual Mathematics: A First Introduction To Categories Lawvere, W.; Schanuel, Stephen H.; Paperback; Code: BE-0521478170

	Confluent String Rewriting Jantzen, M.; Jantzen, Matthias; Hardcover; Code: BE-0387137157

	Constructivism In Mathematics: An Introduction Troelstra, A. S.; Hardcover; Code: BE-0444702660

	Convex And Starlike Mappings In Several Complex Variables Gong, Sheng; Kung, Sheng; Hardcover; Code: BE-0792349644

	Course In Model Theory: An Introduction In Contemporary Mathematical Logic Poizat, Bruno; Klein, Moses; Hardcover; Code: BE-0387986553

	Definability And Computability Ershov, Iurii Leonidovich; Hardcover; Code: BE-0306110393

	Delta Hellerstein, Nathaniel; Hellerstein, N. S.; Hardcover; Code: BE-9810232438

	Derivation And Computation: Taking The Curry-Howard Correspondence Seriously: Derivation Systems, Substitution Algorithms, Computation Mechanisms Simmons, Harold; Hardcover; Code: BE-0521771730

	Development Of Mathematical Logic (1962) Nidditch, P. H.; Paperback; Code: BE-1855065827

	Diagonalization & Self-Reference Olg 27 Smullyan, Raymond; Hardcover; Code: BE-0198534507

	Diamond: A Paradox Logic Hellerstein, Nathaniel; Hellerstein, N. S. K.; Hardcover; Code: BE-9810228503

	Dynamics Of One-Dimensional Maps Other Sharkovskii, Aleksandr Nikolaevich; Hardcover; Code: BE-0792345320

	Elements Of Logic Via Numbers And Sets Johnson, David L.; Johnson, D. L.; Paperback; Code: BE-3540761233

	Elements Of Pattern Theory Grenander, Alf; Grenander, Ulf; Paperback; Code: BE-0801851882

	Elements Of Set Theory Enderton, Herbert B.; Hardcover; Code: BE-0122384407

	Elements Of The Theory Of Computation Lewis, Harry; With Papadimitriou, Christos; Hardcover; Code: BE-0132624788

	Enumerative Theory Of Maps Liu, Yanpei; Hardcover; Code: BE-0792355997

	Essential Stability Theory Buechler, Steven; Hardcover; Code: BE-3540610111

	Extensional Constructs In Intensional Type Theory Hofmann, Martin; Hardcover; Code: BE-3540761217

	Finite Model Theory (Rev And Enl) Ebbinghaus, Heinz-Dieter; Flum, Jorg; Paperback; Code: BE-3540657584

	First Course In Fuzzy Logic Nguyen, Hung T.; Walker, Elbert A.; Hardcover; Code: BE-0849316596

	First Course In Mathematical Logic Suppes, Patrick; Hill, Shirley A.; Paperback; Code: BE-0486422593

	First-Order Logic Smullyan, Raymond M.; Paperback; Code: BE-0486683702

	First-Order Logic And Automated Theorem Proving Fitting, Melvin; Hardcover; Code: BE-0387972331

	First Order Mathematical Logic Margaris, Angelo; Paperback; Code: BE-0486662691

	First Steps In Modal Logic Popkorn, Sally; Hardcover; Code: BE-052146482X

	Fork Algebras In Algebra, Logic And Computer Science Frias, M.; Frias, Marcelo Fabian; Hardcover; Code: BE-9810248768

	Formal Models Of Computation: The Ultimate Limits Of Computing Fleck, A. C.; Fleck, Arthur Charles; Hardcover; Code: BE-9810245009

	Foundations Of Arithmetic: A Logico-Mathematical Enquiry Into The Concept Of Number (Revised) Frege, Gottlob; Translator Austin, J. L.; Paperback; Code: BE-0631126945

	Foundations Of Higher Mathematics 3E Fletcher, Peter; Patty, C. Wayne; Mass Market Paperbound; Code: BE-053495166X

	Foundations Of Logic And Mathematics: Applications To Computer Science And Cryptography Nievergelt, Yves; Hardcover; Code: BE-0817642498

	Foundations Of Mathematical Logic Curry, Haskell B.; Paperback; Code: BE-0486634620

	Foundations Of Mathematics Stewart, Ian; With Tall, David; Paperback; Code: BE-0198531656

	Foundations Of Set Theory (Rev) Fraenkel, Abraham Adolf; Hardcover; Code: BE-0720422701

	Frege And Godel: Two Fundamental Texts In Mathematical Logic Van Heijenoort, Jean; Paperback; Code: BE-1583485961

	From Frege To Godel: A Source Book In Mathematical Logic, 1879-1931 Van Heijenoort, Jean; Paperback; Code: BE-0674324498

	From Frege To Godel: A Source Book In Mathematical Logic, 1879-1931 Van Heijenoort, Jean; Paperback; Code: BE-158348597X

	From Stimulus To Science Quine, Willard V.; Paperback; Code: BE-0674326369

	Frontiers Of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings Other Armando, Alessandro; Paperback; Code: BE-3540433813

	Fundamentals Of Approximation Theory Mhaskar, Hrushikesh N.; Pai, Devidas V.; Hardcover; Code: BE-0849309395

	Fuzziness In Petri Nets Cardoso, Janette; Camargo, Heloisa; Hardcover; Code: BE-3790811580

	Fuzzy Automata And Languages: Theory And Application Mordeson, John N.; Hardcover; Code: BE-1584882255

	Fuzzy Logic Foundations And Industrial Applications Other Ruan, Da; Hardcover; Code: BE-0792397746

	Fuzzy Logic: Intelligence, Control, And Information Yen, John; Langari, Reza; Hardcover; Code: BE-0135258170

	Fuzzy Logic: Mathematical Tools For Approximate Gerla, Giangiacomo; Hardcover; Code: BE-0792369416

	Fuzzy Sets Negoita, Constantin Virgil; Paperback; Code: BE-1561841463

	Fuzzy Sets And Systems: Theory And Applications Dubois, Didier; Dubois, Didier; Hardcover; Code: BE-0122227506

	Generalized Quantifiers And Computation: 9th European Summer School In Logic, Language, And Information, ESSLLI97: Aix-En-Provence, France, August 19 Other Vaananen, J.; Hardcover; Code: BE-3540669930

	General Lattice Theory Gratzer, George A.; Hardcover; Code: BE-3764352396

	Goal-Directed Proof Theory Gabbay, Dov M.; Olivetti, Nicola; Hardcover; Code: BE-0792364732

	Godels Proof (Revised) Nagel, Ernest; Newman, James R.; Hardcover; Code: BE-0814758169

	Handbook Of Formal Languages: Beyond Words Rozenberg, G.; With Salomaa, A.; Hardcover; Code: BE-3540606491

	Handbook Of Formal Languages: Linear Modeling Background And Application Rozenberg, G.; With Salomma, A.; Hardcover; Code: BE-3540606483

	Handbook Of Formal Languages: Word, Language, Grammar Rozenberg, G.; With Salomaa, A.; Rozenberg, G. (University Of Leiden, Netherlands); Salomaa, A. (University Of Turku, Finland); Hardcover; Code: BE-3540604200

	Handbook Of Process Algebra Other Bergstra, J. A.; Hardcover; Code: BE-0444828303

DELIVERY & BILLING >>

Delivery costs are included in all prices we display.
We do not charge your credit card until we ship your order.
Government and corporate Purchase Orders accepted without prior account application.

PLACE AN ORDER >>

To prepare to buy this item click "add to cart" above. You can change or abandon your shopping cart at any time before checkout.

CHANGE OR CANCEL YOUR ORDER >>

Click to send e-mail to change or cancel your order.

REQUEST SEARCH FOR A USED ITEM >>

All items we offer on our site are new. Click above to send an e-mail requesting we search for a used item.

Copyright � 2003 World Retail Store, Inc. The content in this website may be freely distributed with full reference to www.WorldRetailStore.com. We reserve the right to decline orders received through this site. Prices subject to change to be advised on confirmation of order. Not all products listed are available.
http://www.WorldRetailStore.com

Current website time: 17:42:57hrs; U.S. PST (UTC -0800)

LogicEnglish Books Index Go to 'Edit -> Find' on your browser toolbar or press 'Ctrl-F' to locate items on this page

Logic
English Books Index

Go to 'Edit -> Find' on your browser toolbar or press 'Ctrl-F' to locate items on this page