English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Dynamic systems
Expert systems. Concepts and applications
Hardware / software architectures for digital control systems
Atmospheric corrosion of zinc sheet for construction
Chemical kinetics. Fundamental aspects
Dynamics of chemical systems
Expertise and rehabilitation of reinforced concrete and masonry constructions. Case studies
Organization of geodesic works
RpC’81 – Construction repairs. Quotation norm indicator
Preoperative algorithm for decreasing the incidence of biliary tract injuries during cholecystectomy
Nonstandard Counterfactuals in English
Romanian civilization in the early modern period
Digital signal processing
Multisim Applications
Statistical processing of information. Laboratory guidance
Instrumentation
Laboratory guidance of electrical materials
High voltage power stations
Electricity and magnetism
Applications of the finite element method in electromagnetic field problems. Laboratory guidance and theoretical breviary
From cold plasma to controlled fusion: code, matter and the security of tomorrow’s science
Introduction to Mathematical and Computational Logic
Virtual instrumentation in LabView. Theory and applications
The architecture of microprocessors. Laboratory guidance
Dilemmas in management. Collection of cases
Project Management
Mechanical device design management
Geometric transformations. Homothesis and inversion
Integral multidimensional calculation and field theory
Fractional programming with several objective functions
Hyperbaric technologies for unitary and saturation diving
Technical drawing
Synthesis of theoretical and applied mechanics 3/2018
Optimization of wastewater treatment technologies for reuse
Modern technologies for wastewater treatment
Wastewater treatment
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 2 – Safety and health at work for mowers
No. 7 – Measuring and control apparatus for mowers
No. 3 – Procedures for cleaning chimneys
170 geometry problems
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Discovering Geometry: An Axiomatic Approach
Microwave measurement technologies
Design of distributed fuzzy control systems of HVAC equipment
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Document processing using XML and Perl
Influence of Repetitions on Discourse and Semantic Analysis
Introduction to human-computer interaction
Materials for electronics. Guidebook
Sensors and photonic transducers. Guidance
Technical optics
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. From robots to the virtual enterprise
Electrical engineering treaty. Electrotechnology
Ebook
BookViewer Information
Digital books
Electrohydraulic deformation
Computer aided design of Spice and VHDL electronic circuits
Industrial management in the circular economy. Vol.1 Theoretical Concepts
Journals
Installation engineering journal
Synthesis of theoretical and applied mechanics
International Journal of User-System Interaction
Bulletin of Romanian Chemical Engineering Society
Romanian Journal of Civil Engineering
Romanian Journal of Human-Calculator Interaction - stopped publication in 2018
Installation engineering journal no. 1/2025
Installation engineering journal no. 4/2023
Installation engineering journal no. 2/2023
Synthesis of theoretical and applied mechanics 1/2019
Syntheses of theoretical and applied mechanics 2/2022
Synthesis of theoretical and applied mechanics 1/2021
International Journal of User-System Interaction No. 3/2022
International Journal of User-System Interaction nr. 4/2023
International Journal of User-System Interaction No. 3/2019
Bulletin of Romanian Chemical Engineering Society 1/2023
Bulletin of Romanian Chemical Engineering Society 2/2014
Bulletin of Romanian Chemical Engineering Society 1/2020
Romanian Journal of Civil Engineering no. 2/2022
Romanian Journal of Civil Engineering 4/2020
Romanian Journal of Civil Engineering 2/2017
Romanian magazine of human-computer interaction 4/2013
Romanian magazine of human-computer interaction 4/2018
Romanian magazine of human-computer interaction 3/2018
Software
Books at 5 lei
Publish with us
Home
/
Books
/
Informatics
/ Introduction to Mathematical and Computational Logic
Introduction to Mathematical and Computational Logic
de
Mihaela Poienariu
Universitatea "Spiru Haret" București
ISBN: 978-606-25-0777-0
Limba: Română
Suport: Hârtie
51,00
lei
Add to cart
View Content
Related products
Oracle 11g – Making database applications using Sql Plus language
Ana-Maria Ramona Stancu
30,00
lei
Add to cart
Fundamentals of microprocessor architecture, 2nd edition revised and added
Lucian N. Vintan
199,00
lei
Add to cart
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
Octaviana Datcu
54,00
lei
Add to cart