Proof methods for model and intuitionistic logics
By: Material type:
TextLanguage: English Publication details: Dordrecht D. Reidel Pub. Co. Description: vii, 555p cmISBN: - 9027715734 (hbk)
- R14, M3
Textbook
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textbook
|
Arts Library | Arts Library | R14 M3 (Browse shelf(Opens below)) | Available | AL0884409 |
There are no comments on this title.
Log in to your account to post a comment.
-
301
Advanced Remote Sensing
by Liang, Shunlin -
302
Advanced remote sensing
by LIANG Shunlin etc. -
303
Advanced remote sensing
by LIANG Shunlin etc. -
304
Advanced Reservoir and Production Engineering for Coal Bed Methane
by Thakur, Pramod -
305
Advanced Seat Suspension Control System Design for Heavy Duty Vehicles
by Du, Haiping -
306
Advanced Security and Safeguarding in the Nuclear Power Industry
by Nian, Victor -
307
Advanced Spectroscopic Methods to Study Biomolecular Structure and Dynamics
by Prakash Saudagar -
308
Advanced Spinel Ferrite Nanocomposites for Electromagnetic Interference Shielding Applications
by Raghvendra Singh Yadav -
309
Advanced statistics from an elementary point of view
by Panik Michael J -
310
Advanced Supramolecular Nanoarchitectonics
by Ariga, Katsuhiko -
311
Advanced techniques for clay mineral analysis
by Fripiat J J Ed. -
312
Advanced Technologies and Polymer Materials for Surgical Sutures
by Sabu Thomas -
313
Advanced Technologies in Wastewater Treatment: Food Processing Industry
by Angelo Basile -
314
Advanced Technologies in Wastewater Treatment: Oily Wastewaters
by Angelo Basile -
315
Advanced Technology for the Conversion of Waste into Fuels and Chemicals: Volume 1: Biological Processes
by Anish Khan -
316
Advanced Technology for the Conversion of Waste into Fuels and Chemicals: Volume 2: Chemical Processes
by Anish Khan -
317
Advanced Textiles for Wound Care
by Rajendran, S -
318
Advanced Theory of Constraint and Motion Analysis for Robot Mechanisms
by Zhao, Jingshan -
319
Advanced Thermodynamics for Engineers
by Winterbone, D. -
320
Advanced Topics in Forensic DNA Typing: Methodology
by Butler, J. -
321
Advanced Water Injection for Low Permeability Reservoirs
by Xinquan, Ran -
322
Advanced Water Treatment Advanced Oxidation Processes
by Sillanpää, Mika -
323
Advanced Water Treatment: Electrochemical Methods
by Sillanpää, Mika -
324
Advanced Water Treatment:Adsorption
by Sillanpää, Mika -
325
Advanced Welding and Deforming
by Gupta, Kapil, -
326
Advancement in Crop Improvement Techniques
by Tuteja, Narendra -
327
Advancement in Oxygenated Fuels for Sustainable Development: Feedstocks and Precursors for Catalysts Synthesis
by Niraj Kumar -
328
Advancement in Polymer-Based Membranes for Water Remediation
by S K Nayak -
329
Advancements and Technologies in Pig and Poultry Bacterial Disease Control
by Neil Foster -
330
Advancements in Intelligent Gas Metal Arc Welding Systems: Fundamentals and Applications
by Paul Kah -
331
Advances and Challenges in Pharmaceutical Technology: Materials, Process Development and Drug Delivery Strategies
by Amit Nayak -
332
Advances and Avenues in the Development of Novel Carriers for Bioactives
by Singh, Manju -
333
Advances and Innovations in Nuclear Decommissioning
by Laraia, Michele -
334
Advances in Ecological Modelling and Engineering - Lakes and Wetlands
by Xu, Fu-Liu -
335
Advances in health care management
by Fottler Myron -
336
Advances in 2nd Generation of Bioethanol Production
by Lü, Xin, -
337
Advances in 3D Textiles
by Chen, X -
338
Advances in accounting .Vol 22
by Reckers Philip M J Ed. -
339
Advances in accounting .Vol 22
by Reckers Philip M J Ed. -
340
Advances in accounting.V22.
by Reckers Philip M J Ed. -
341
Advances in Additive Manufacturing: Artificial Intelligence, Nature-Inspired, and Biomanufacturing
by Ajay Kumar -
342
Advances in Aerogel Composites for Environmental Remediation
by Aftab Khan -
343
Advances in Agricultural Animal Welfare
by Mench, Joy -
344
Advances in airline economics
by Lee Darin -
345
Advances in airline economics
by Lee Darin -
346
Advances in Analog and RF IC Design for Wireless Communication Systems
by Leenaerts, Domine -
347
Advances in Animal Experimentation and Modeling: Understanding Life Phenomena
by Ranbir Sobti -
348
Advances in Animal Genomics
by Mondal, Sukanta -
349
Advances in Aquaculture Hatchery Technology
by Allan, G -
350
Advances in Arthropod Repellents
by Joel Coats
Proof methods for model and intuitionistic logics
APA
Fitting Melvin, .Proof methods for model and intuitionistic logics. Dordrecht: D. Reidel Pub. Co.
Chicago
Fitting Melvin, .Proof methods for model and intuitionistic logics. Dordrecht: D. Reidel Pub. Co.
Harvard
Fitting Melvin, .Proof methods for model and intuitionistic logics. Dordrecht: D. Reidel Pub. Co.
MLA
Fitting Melvin, .Dordrecht: D. Reidel Pub. Co. .
