Gisbert Hasenjaeger

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3763594	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343970	1984-01-01	Paper
Prädikatenvariablen in der Zahlentheorie	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626592	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565092	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5547550	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596796	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5734409	1962-01-01	Paper
Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models)	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5509669	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638247	1959-01-01	Paper
Über Interpretationen der Prädikatenkalküle Höherer Stufe	1958-01-01	Paper
Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls	1958-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3230360	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5850527	1955-01-01	Paper
Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe	1953-01-01	Paper
Über ω-Unvollständigkeit in der Peano-Arithmetik	1952-01-01	Paper
Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls	1952-01-01	Paper
Ein Beitrag zur Ordnungstheorie	1950-01-01	Paper
Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe	1950-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gisbert Hasenjaeger