Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Introduction Read chapter Read first chapter

1991 | OriginalPaper | Chapter

Logic and Model Theory

Authors : Prof. Dr. Tamás Gergely, Dr. László Úry

Published in: First-Order Programming Theories

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

The programming theory to be developed in this work is based on first-order classical logic. In order to follow this development we expect the reader to be familiar with the elements of classical mathematical logic and with the basic notions of (naive) set theory that we accept as our starting point.

previous chapter Introduction
next chapter Inductive Definability
Metadata
Title
Logic and Model Theory
Authors
Prof. Dr. Tamás Gergely
Dr. László Úry
Copyright Year
1991
Publisher
Springer Berlin Heidelberg
Book
First-Order Programming Theories

Print ISBN: 978-3-642-63503-8

Electronic ISBN: 978-3-642-58205-9

Copyright Year: 1991

DOI
https://doi.org/10.1007/978-3-642-58205-9_2

Premium Partner

    Image Credits