Explore: Matematisk Logikk
Discover books, insights, and more — all in one place.
Learn more about Matematisk Logikk with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “matematisk-logikk”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The elements of mathematical logic
By Paul C. Rosenbloom

“The elements of mathematical logic” Metadata:
- Title: ➤ The elements of mathematical logic
- Author: Paul C. Rosenbloom
- Language: English
- Number of Pages: Median: 214
- Publisher: Dover - Dover Publications
- Publish Date: 1950 - 2005
- Publish Location: ➤ New York - Mineola, N.Y - New York] - [New York]
“The elements of mathematical logic” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Mathematische Logik - Einführung - Logica - Logica Matematica (Textos Introdutorios) - Matematisk logikk - Mathématiques - Logica Matematica - Analyse mathématique - Logique - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL17755518M - OL13762910M - OL3425988M - OL21225469M - OL6087848M
- Online Computer Library Center (OCLC) ID: 60767085 - 377141
- Library of Congress Control Number (LCCN): 2005049636 - 51002626
- All ISBNs: 0486446174 - 9780486446172
Access and General Info:
- First Year Published: 1950
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The elements of mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic of Programs (Lecture Notes in Computer Science)
By E. Engeler

“Logic of Programs (Lecture Notes in Computer Science)” Metadata:
- Title: ➤ Logic of Programs (Lecture Notes in Computer Science)
- Author: E. Engeler
- Language: English
- Number of Pages: Median: 245
- Publisher: Springer
- Publish Date: 1981
- Publish Location: New York - Berlin
“Logic of Programs (Lecture Notes in Computer Science)” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer programs - Computer programming - Congresses - Programmation (Mathématiques) - Datenverarbeitung - Logik - Programmierung - Formale Methode - Programmeurs - Logique symbolique et mathématique - Algoritmer - Kongresser - Matematisk logikk - Programming (Mathematics)
Edition Identifiers:
- The Open Library ID: OL3044714M
- Online Computer Library Center (OCLC) ID: 8161522 - 8098788
- Library of Congress Control Number (LCCN): 82137449
- All ISBNs: 0387111603 - 9780387111605
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic of Programs (Lecture Notes in Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.