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
Basics of digital circuit design
Wireless process management systems
Programming of PIC18F microcontrollers – from Proteus to the PICDEM system –
Introduction to animal cell bioengineering
Bulletin of Romanian Chemical Engineering Society 2/2017
Introduction to quantum chemistry. General principles and methods
Recovery of industrial waste and by-products in construction
Aspects regarding the conservation, rehabilitation and consolidation of the constructions from the existing built fund
Violations of borders, borders and claims. Exits from division and sharing
Memories from the life of a university teacher
4 to 5
Creation and creativity. Practices, issues and interdisciplinary approaches
Sequential logic circuits. Theory and applications
Introduction to the study of metamaterials. “Left Handed” artificial transmission lines
Telephone transmissions
Alternating current electric cars. Optimal analysis and synthesis
Single-phase short circuit in high voltage electrical networks
Electrical installations in construction. Execution and maintenance
The mechanics of continuous media
Algorithms for estimating solar energy
Aspects of unity in solid state transformations in steels. A quasi-unitary theory of transformations in steels
Web programming. Applications in HTML, CSS, JavaScript
Object-Oriented Symbolic Structural Intelligent Simulation
Computer programming and numerical calculation
Marketing. Theory and applications
Human Resources Management (App Guidance)
Industrial management in the circular economy. Vol. 2 Mathematical models, studies and comparative analyses
Basic Trigonometry
Almost symplectic structures conjugated on the total space of a vector bundle. Applications
Descriptive geometry part I + II
Methods and procedures for experimental research and testing of railway vehicles
Analysis of vehicle performance based on diagnostic and experimental data
Contact phenomena. Laboratory work
Environmental management in railway transport
Equipment and technical systems for the greening of localities. Theory, applications, verification tests
The impact of macromolecular compounds on the soil
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Design of distributed fuzzy control systems of HVAC equipment
Microwave measurement technologies
Global Ecoinformatics. Theory and Applications
Materials for electronics and optoelectronics
Optoelectronic devices
Optoelectronics
Journals
Installation engineering magazine
Synthesis of theoretical and applied mechanics
Magazine of installations - stopped publication in 2020
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 magazine no. 2/2022
Installation engineering magazine no. 2/2023
Installation engineering magazine no. 4/2022
International Journal of User-System Interaction No. 3/2021
International Journal of User-System Interaction No. 1/2020
International Journal of User-System Interaction No. 2/2019
Bulletin of Romanian Chemical Engineering Society 1/2015
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Software
EBOOK
Books at 5 lei
Deals
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
46,00
lei
Add to cart
View Content
Related products
International Journal of User-System Interaction No. 1/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart
International Journal of User-System Interaction No. 2/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart
International Journal of User-System Interaction No. 3/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart